Proofgold Term Root Disambiguation

ccycls

as obj
1b5ed..

as prop
-

theory
SetMM

stx
ebbdd..