Search for blocks/addresses/...

Proofgold Object

λ x0 . binunion (SNoLev (CSNo_Re x0)) (SNoLev (CSNo_Im x0))
type
ι → ι
theory
HotG
name
CSNoLev
definition
PUQvq..
Megalodon
CSNoLev
proofgold address
TMb5S..CSNoLev
creator
28444 PrQUS../d11f5..
owner
28444 PrQUS../d11f5..
term root
f2958..