Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Octonion_i0 Octonion_i3 = minus_OSNo Complex_i
type
prop
theory
HotG
name
Octonion_i0_i3
proof
PUYEK..
Megalodon
Octonion_i0_i3
proofgold address
TMJ7S..Octonion_i0_i3
creator
28532 PrQUS../f9265..
owner
28532 PrQUS../f9265..
term root
73d68..