Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i6_i5

proof
PUYEK..

Megalodon
Octonion_i6_i5

proofgold address
TMdPL..^{Octonion_i6_i5}

creator
28532 PrQUS../1dee2..

owner
28532 PrQUS../1dee2..

term root
b9e43..