Proofgold Term Root Disambiguation

wceq cccinfty (crn cinftyexpi)

as obj
-

as prop
994be..

theory
SetMM

stx
83470..

address
TMbjb..