Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (cneg x0) (co cc0 x0 cmin)

as obj
-

as prop
f298b..

theory
SetMM

stx
a0443..

address
TMHVz..