Search for blocks/addresses/...

Proofgold Proposition

OSNo_proj1 Octonion_i6 = minus_HSNo Quaternion_j
type
prop
theory
HotG
name
OSNo_p1_i6
proof
PUdK2..
Megalodon
OSNo_p1_i6
proofgold address
TMKwy..OSNo_p1_i6
creator
28513 PrQUS../9b678..
owner
28513 PrQUS../9b678..
term root
50991..