Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
SNo
x0
⟶
SNo
x1
⟶
SNoLe
0
x0
⟶
SNoLe
0
x1
⟶
sqrt_SNo_nonneg
(
mul_SNo
x0
x1
)
=
mul_SNo
(
sqrt_SNo_nonneg
x0
)
(
sqrt_SNo_nonneg
x1
)
type
prop
theory
HotG
name
sqrt_SNo_nonneg_mul_SNo
proof
PURry..
Megalodon
sqrt_SNo_nonneg_mul_SNo
proofgold address
TMG5J..
sqrt_SNo_nonneg_mul_SNo
creator
28463
PrQUS..
/
3b642..
owner
28463
PrQUS..
/
3b642..
term root
c83ae..