Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLe 0 (exp_SNo_nat x0 2)

type
prop

theory
HotG

name
SNo_sqr_nonneg'

proof
PUfaM..

Megalodon
SNo_sqr_nonneg

proofgold address
TMNm4..^{SNo_sqr_nonneg}

creator
27960 PrQUS../f6088..

owner
27960 PrQUS../f6088..

term root
3934e..