Proofgold Proposition

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

type
prop

theory
SetMM

name
ax_hvaddid

proof
PUVMh..

Megalodon
-

proofgold address
TMQRB..

creator
36384 PrCmT../944aa..

owner
36384 PrCmT../944aa..

term root
fe736..