Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i4_i2

proof
PUYEK..

Megalodon
Octonion_i4_i2

proofgold address
TMXGh..^{Octonion_i4_i2}

creator
28532 PrQUS../4fb8d..

owner
28532 PrQUS../4fb8d..

term root
0c684..