Proofgold Proposition

∀ x0 . nat_p x0 ⟶ not (even_nat (ordsucc (mul_nat 2 x0)))

type
prop

theory
HotG

name
not_even_nat_S_double

proof
PUaSr..

Megalodon
-

proofgold address
TMa9U..

creator
23745 Pr5Zc../8c0af..

owner
23745 Pr5Zc../8c0af..

term root
df3ed..