Search for blocks/addresses/...

Proofgold Proposition

mul_OSNo Complex_i Octonion_i3 = Octonion_i0
type
prop
theory
HotG
name
Octonion_i1_i3
proof
PUYEK..
Megalodon
Octonion_i1_i3
proofgold address
TMHih..Octonion_i1_i3
creator
28532 PrQUS../18490..
owner
28532 PrQUS../18490..
term root
3cc4e..