Search for blocks/addresses/...

Proofgold Object

λ x0 . add_SNo (exp_SNo_nat (CSNo_Re x0) 2) (exp_SNo_nat (CSNo_Im x0) 2)
type
ι → ι
theory
HotG
name
abs_sqr_CSNo
definition
PUQvq..
Megalodon
abs_sqr_CSNo
proofgold address
TMYpB..abs_sqr_CSNo
creator
28444 PrQUS../5158b..
owner
28444 PrQUS../5158b..
term root
8363b..