Proofgold Term Root Disambiguation

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

as obj
-

as prop
67c52..

theory
SetMM

stx
47223..

address
TMaPY..