Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Octonion_i6 Quaternion_j = minus_OSNo Octonion_i0
type
prop
theory
HotG
name
Octonion_i6_i2
proof
PUYEK..
Megalodon
Octonion_i6_i2
proofgold address
TMSei..Octonion_i6_i2
creator
28532 PrQUS../67e9e..
owner
28532 PrQUS../67e9e..
term root
158a1..