Proofgold Term Root Disambiguation

cwsuc

as obj
1ae58..

as prop
-

theory
SetMM

stx
ebbdd..