Proofgold Term Root Disambiguation

crg

as obj
51291..

as prop
-

theory
SetMM

stx
ebbdd..