Proofgold Term Root Disambiguation

wceq crange (cimage (cres c2nd (cxp cvv cvv)))

as obj
-

as prop
ed56a..

theory
SetMM

stx
29eaf..

address
TMWnf..