Proofgold Term Root Disambiguation

wceq ccchat (cun cc (csn cinfty))

as obj
-

as prop
ee27d..

theory
SetMM

stx
83470..

address
TMZLG..