Proofgold Proposition

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

type
prop

theory
HotG

name
sqrt_SNo_nonneg_nonneg

proof
PUS8F..

Megalodon
sqrt_SNo_nonneg_nonneg

proofgold address
TMKQs..^{sqrt_SNo_nonneg_nonneg}

creator
27870 PrQUS../567d7..

owner
27870 PrQUS../567d7..

term root
40638..