Proofgold Term Root Disambiguation

cltb

as obj
95fc7..

as prop
-

theory
SetMM

stx
ebbdd..