Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i0_i2

proof
PUYEK..

Megalodon
Octonion_i0_i2

proofgold address
TMSUy..^{Octonion_i0_i2}

creator
28532 PrQUS../06366..

owner
28532 PrQUS../06366..

term root
95da8..