Proofgold Term Root Disambiguation

cal

as obj
294df..

as prop
-

theory
SetMM

stx
ebbdd..