Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i1_i6

proof
PUYEK..

Megalodon
Octonion_i1_i6

proofgold address
TMV8a..^{Octonion_i1_i6}

creator
28532 PrQUS../e70bc..

owner
28532 PrQUS../e70bc..

term root
c1b4e..