Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Complex_i Octonion_i0 = minus_OSNo Octonion_i3
type
prop
theory
HotG
name
Octonion_i1_i0
proof
PUYEK..
Megalodon
Octonion_i1_i0
proofgold address
TMVQx..Octonion_i1_i0
creator
28532 PrQUS../08d6e..
owner
28532 PrQUS../08d6e..
term root
9cb01..