Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLt 1 x0 ⟶ SNoLt (add_SNo x0 1) (mul_SNo 2 x0)

type
prop

theory
HotG

name
SNo_gt2_double_ltS

proof
PUSRj..

Megalodon
SNo_gt2_double_ltS

proofgold address
TMUDX..^{SNo_gt2_double_ltS}

creator
27837 PrQUS../fc595..

owner
27837 PrQUS../fc595..

term root
c9027..