Search for blocks/addresses/...
Proofgold Object
HSNo_pair
0
(
minus_HSNo
Complex_i
)
type
ι
theory
HotG
name
Octonion_i3
definition
PUdK2..
Megalodon
Octonion_i3
proofgold address
TMSZR..
Octonion_i3
creator
28513
PrQUS..
/
559da..
owner
28513
PrQUS..
/
559da..
term root
ad3e2..