Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Octonion_i3 Complex_i = minus_OSNo Octonion_i0
type
prop
theory
HotG
name
Octonion_i3_i1
proof
PUYEK..
Megalodon
Octonion_i3_i1
proofgold address
TMcSx..Octonion_i3_i1
creator
28532 PrQUS../9b613..
owner
28532 PrQUS../9b613..
term root
2603e..