Proofgold Term Root Disambiguation

cvtxdg

as obj
15855..

as prop
-

theory
SetMM

stx
ebbdd..