Proofgold Term Root Disambiguation

cgam

as obj
712d9..

as prop
-

theory
SetMM

stx
ebbdd..