Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0SNoLe 0 x0and (and (SNo (sqrt_SNo_nonneg x0)) (SNoLe 0 (sqrt_SNo_nonneg x0))) (mul_SNo (sqrt_SNo_nonneg x0) (sqrt_SNo_nonneg x0) = x0)
type
prop
theory
HotG
name
sqrt_SNo_nonneg_prop1
proof
PUS8F..
Megalodon
sqrt_SNo_nonneg_prop1
proofgold address
TMHu4..sqrt_SNo_nonneg_prop1
creator
27870 PrQUS../a9a5d..
owner
27870 PrQUS../a9a5d..
term root
db687..