Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLe 0 x0 ⟶ SNo (sqrt_SNo_nonneg x0)

type
prop

theory
HotG

name
SNo_sqrt_SNo_nonneg

proof
PUS8F..

Megalodon
SNo_sqrt_SNo_nonneg

proofgold address
TMcDC..^{SNo_sqrt_SNo_nonneg}

creator
27870 PrQUS../2ae97..

owner
27870 PrQUS../2ae97..

term root
016da..