Proofgold Term Root Disambiguation

ccref

as obj
43651..

as prop
-

theory
SetMM

stx
ebbdd..