Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_hvmul0

proof
PUVMh..

Megalodon
-

proofgold address
TMRoS..

creator
36384 PrCmT../e66f0..

owner
36384 PrCmT../e66f0..

term root
35f81..