Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Octonion_i6 Octonion_i0 = Quaternion_j
type
prop
theory
HotG
name
Octonion_i6_i0
proof
PUYEK..
Megalodon
Octonion_i6_i0
proofgold address
TMQeM..Octonion_i6_i0
creator
28532 PrQUS../93c11..
owner
28532 PrQUS../93c11..
term root
73d83..