Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Complex_i Octonion_i5 = Octonion_i6
type
prop
theory
HotG
name
Octonion_i1_i5
proof
PUYEK..
Megalodon
Octonion_i1_i5
proofgold address
TMMhL..Octonion_i1_i5
creator
28532 PrQUS../56df7..
owner
28532 PrQUS../56df7..
term root
1e9e8..