Proofgold Proposition

∀ x0 . nat_p x0 ⟶ x0 ∈ mul_nat 2 (ordsucc x0)

type
prop

theory
HotG

name
nat_In_double_S

proof
PUaSr..

Megalodon
-

proofgold address
TMPrS..

creator
23745 Pr5Zc../2dd76..

owner
23745 Pr5Zc../2dd76..

term root
9b52c..