Proofgold Term Root Disambiguation

wceq crefrels (cin crefs crels)

as obj
-

as prop
dd352..

theory
SetMM

stx
5d0e3..

address
TMFBg..