Proofgold Term Root Disambiguation

wceq cccbar (cun cc cccinfty)

as obj
-

as prop
373f9..

theory
SetMM

stx
83470..

address
TMbyN..