Proofgold Term Root Disambiguation

wceq cn0 (cun cn (csn cc0))

as obj
-

as prop
c8619..

theory
SetMM

stx
a0443..

address
TMcKe..