Proofgold Proposition

∀ x0 x1 x2 : ι → ο . w3a (wcel x0 cc) (wcel x1 cc) (wcel x2 chil) ⟶ wceq (co (co x0 x1 cmul) x2 csm) (co x0 (co x1 x2 csm) csm)

type
prop

theory
SetMM

name
ax_hvmulass

proof
PUVMh..

Megalodon
-

proofgold address
TMZou..

creator
36384 PrCmT../717db..

owner
36384 PrCmT../717db..

term root
6bd66..