Proofgold Term Root Disambiguation

wceq cunif (cslot (cdc c1 c3))

as obj
-

as prop
0d946..

theory
SetMM

stx
bbd62..

address
TMbn9..