Proofgold Proposition

∀ x0 . SNo x0 ⟶ or (x0 = 0) (SNoLt 0 (mul_SNo x0 x0))

type
prop

theory
HotG

name
SNo_zero_or_sqr_pos

proof
PUNr2..

Megalodon
SNo_zero_or_sqr_pos

proofgold address
TMZre..^{SNo_zero_or_sqr_pos}

creator
12547 PrGxv../b6a04..

owner
12547 PrGxv../b6a04..

term root
4929c..