Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_hvcom

proof
PUVMh..

Megalodon
-

proofgold address
TMNdr..

creator
36384 PrCmT../77f4b..

owner
36384 PrCmT../77f4b..

term root
e1442..