Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Complex_i Quaternion_j = Quaternion_k
type
prop
theory
HotG
name
Octonion_i1_i2
proof
PUYEK..
Megalodon
Octonion_i1_i2
proofgold address
TMWyk..Octonion_i1_i2
creator
28532 PrQUS../d7e1f..
owner
28532 PrQUS../d7e1f..
term root
54f62..