Proofgold Term Root Disambiguation

wceq cpinfty (cfv cc0 cinftyexpi)

as obj
-

as prop
98f5a..

theory
SetMM

stx
83470..

address
TMGd2..