Proofgold Proposition

∀ x0 . nat_p x0 ⟶ or (even_nat x0) (odd_nat x0)

type
prop

theory
HotG

name
even_nat_or_odd_nat

proof
PUWsr..

Megalodon
even_nat_or_odd_nat

proofgold address
TMUF8..^{even_nat_or_odd_nat}

creator
23950 Pr5Zc../3b79d..

owner
23950 Pr5Zc../3b79d..

term root
736ee..