Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i5_i2

proof
PUYEK..

Megalodon
Octonion_i5_i2

proofgold address
TMdLT..^{Octonion_i5_i2}

creator
28532 PrQUS../65db9..

owner
28532 PrQUS../65db9..

term root
346b3..