Proofgold Term Root Disambiguation

wceq cminfty (cfv cpi cinftyexpi)

as obj
-

as prop
3baa4..

theory
SetMM

stx
83470..

address
TMbQ7..