Proofgold Term Root Disambiguation

cgol

as obj
58a4c..

as prop
-

theory
SetMM

stx
ebbdd..