Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Quaternion_k Octonion_i0 = minus_OSNo Octonion_i5
type
prop
theory
HotG
name
Octonion_i4_i0
proof
PUYEK..
Megalodon
Octonion_i4_i0
proofgold address
TMTr9..Octonion_i4_i0
creator
28532 PrQUS../245e4..
owner
28532 PrQUS../245e4..
term root
01a79..