Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ SNoLe 0 x0 ⟶ sqrt_SNo_nonneg x0 ∈ real

type
prop

theory
HotG

name
sqrt_SNo_nonneg_real

proof
PUTdS..

Megalodon
sqrt_SNo_nonneg_real

proofgold address
TMR5k..^{sqrt_SNo_nonneg_real}

creator
27893 PrQUS../13c97..

owner
27893 PrQUS../13c97..

term root
17e0d..