Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Octonion_i5 Complex_i = minus_OSNo Octonion_i6
type
prop
theory
HotG
name
Octonion_i5_i1
proof
PUYEK..
Megalodon
Octonion_i5_i1
proofgold address
TMPV2..Octonion_i5_i1
creator
28532 PrQUS../91117..
owner
28532 PrQUS../91117..
term root
5e473..