Proofgold Proposition

∀ x0 . SNo x0 ⟶ or (x0 = 0) (SNoLt 0 (exp_SNo_nat x0 2))

type
prop

theory
HotG

name
SNo_zero_or_sqr_pos'

proof
PUfaM..

Megalodon
SNo_zero_or_sqr_pos

proofgold address
TMFyj..^{SNo_zero_or_sqr_pos}

creator
27960 PrQUS../dff28..

owner
27960 PrQUS../dff28..

term root
e0060..