Proofgold Term Root Disambiguation

wceq climits (cdif (cin con0 (cfix cbigcup)) (csn c0))

as obj
-

as prop
9727e..

theory
SetMM

stx
e3215..

address
TMHc3..