Proofgold Term Root Disambiguation

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

as obj
-

as prop
437cc..

theory
SetMM

stx
47223..

address
TMHwQ..