Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i3_i5

proof
PUYEK..

Megalodon
Octonion_i3_i5

proofgold address
TMc9B..^{Octonion_i3_i5}

creator
28532 PrQUS../cb4f7..

owner
28532 PrQUS../cb4f7..

term root
0c085..