Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i4_i6

proof
PUYEK..

Megalodon
Octonion_i4_i6

proofgold address
TMR1q..^{Octonion_i4_i6}

creator
28532 PrQUS../ec599..

owner
28532 PrQUS../ec599..

term root
620e0..