Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i5_i4

proof
PUYEK..

Megalodon
Octonion_i5_i4

proofgold address
TMRex..^{Octonion_i5_i4}

creator
28532 PrQUS../971ec..

owner
28532 PrQUS../971ec..

term root
beff8..