Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Octonion_i0 Octonion_i5 = minus_OSNo Quaternion_k
type
prop
theory
HotG
name
Octonion_i0_i5
proof
PUYEK..
Megalodon
Octonion_i0_i5
proofgold address
TMa5U..Octonion_i0_i5
creator
28532 PrQUS../51532..
owner
28532 PrQUS../51532..
term root
498fb..