Proofgold Proposition

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

type
prop

theory
HotG

name
odd_nat_2xp1

proof
PUcxH..

Megalodon
-

proofgold address
TMMQa..

creator
29779 PrQUS../29f4c..

owner
29779 PrQUS../29f4c..

term root
3c7c0..