Proofgold Proposition

∀ x0 . even_nat x0 ⟶ not (odd_nat x0)

type
prop

theory
HotG

name
even_nat_not_odd_nat

proof
PUaSr..

Megalodon
even_nat_not_odd_nat

proofgold address
TMJi9..^{even_nat_not_odd_nat}

creator
23745 Pr5Zc../d41e5..

owner
23745 Pr5Zc../d41e5..

term root
670a2..