Search for blocks/addresses/...

Proofgold Object

{CSNo_pair (ap x0 0) (ap x0 1)|x0 ∈ setprod complex complex}
type
ι
theory
HotG
name
quaternion
definition
PUcEg..
Megalodon
quaternion
proofgold address
TMWb2..quaternion
creator
28531 PrQUS../f192a..
owner
28531 PrQUS../f192a..
term root
dfa31..