Proofgold Proposition

∀ x0 . even_nat x0 ⟶ odd_nat (ordsucc x0)

type
prop

theory
HotG

name
even_nat_odd_nat_S

proof
PUWsr..

Megalodon
even_nat_odd_nat_S

proofgold address
TMctz..^{even_nat_odd_nat_S}

creator
23950 Pr5Zc../5277f..

owner
23950 Pr5Zc../5277f..

term root
fdaa9..