Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Quaternion_k Octonion_i3 = minus_OSNo Octonion_i6
type
prop
theory
HotG
name
Octonion_i4_i3
proof
PUYEK..
Megalodon
Octonion_i4_i3
proofgold address
TMWxt..Octonion_i4_i3
creator
28532 PrQUS../45daf..
owner
28532 PrQUS../45daf..
term root
e373e..