Proofgold Term Root Disambiguation

cplylt

as obj
23c14..

as prop
-

theory
SetMM

stx
ebbdd..