Proofgold Proposition

∀ x0 . x0 ∈ omega ⟶ odd_nat (add_SNo 1 (mul_SNo 2 x0))

type
prop

theory
HotG

name
odd_nat_1p2x

proof
PUcxH..

Megalodon
-

proofgold address
TMNYM..

creator
29779 PrQUS../e2f87..

owner
29779 PrQUS../e2f87..

term root
80723..