Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wcel x0 chil ⟶ wceq (co cc0 x0 csm) c0v

as obj
-

as prop
f422b..

theory
SetMM

stx
47223..

address
TMdKv..