Proofgold Term Root Disambiguation

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

as obj
-

as prop
f3d79..

theory
SetMM

stx
47223..

address
TMZCV..