Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Quaternion_j Complex_i = minus_OSNo Quaternion_k
type
prop
theory
HotG
name
Octonion_i2_i1
proof
PUYEK..
Megalodon
Octonion_i2_i1
proofgold address
TMcxe..Octonion_i2_i1
creator
28532 PrQUS../6f736..
owner
28532 PrQUS../6f736..
term root
a29e3..