Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_hvmulid

proof
PUVMh..

Megalodon
-

proofgold address
TMbRe..

creator
36384 PrCmT../0b389..

owner
36384 PrCmT../0b389..

term root
cfe77..