Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Complex_i Quaternion_k = minus_OSNo Quaternion_j
type
prop
theory
HotG
name
Octonion_i1_i4
proof
PUYEK..
Megalodon
Octonion_i1_i4
proofgold address
TMQhh..Octonion_i1_i4
creator
28532 PrQUS../fa641..
owner
28532 PrQUS../fa641..
term root
6ef84..