Proofgold Term Root Disambiguation

wceq cnx (cres cid cn)

as obj
-

as prop
3973a..

theory
SetMM

stx
fa8d9..

address
TMXmA..