Search for blocks/addresses/...
Proofgold Object
λ x0 .
sqrt_SNo_nonneg
(
abs_sqr_CSNo
x0
)
type
ι
→
ι
theory
HotG
name
modulus_CSNo
definition
PURry..
Megalodon
modulus_CSNo
proofgold address
TMUDZ..
modulus_CSNo
creator
28463
PrQUS..
/
c133b..
owner
28463
PrQUS..
/
c133b..
term root
18135..