Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i2_i4

proof
PUYEK..

Megalodon
Octonion_i2_i4

proofgold address
TMYF4..^{Octonion_i2_i4}

creator
28532 PrQUS../03e5a..

owner
28532 PrQUS../03e5a..

term root
32f52..