Proofgold Proposition

∀ x0 : ι → ο . wa (wcel x0 chil) (wne x0 c0v) ⟶ wbr cc0 (co x0 x0 csp) clt

type
prop

theory
SetMM

name
ax_his4

proof
PUVMh..

Megalodon
-

proofgold address
TMFob..

creator
36384 PrCmT../de262..

owner
36384 PrCmT../de262..

term root
9d17f..