Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_his1

proof
PUVMh..

Megalodon
-

proofgold address
TMcsM..

creator
36384 PrCmT../fe068..

owner
36384 PrCmT../fe068..

term root
261b7..