Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i4_i1

proof
PUYEK..

Megalodon
Octonion_i4_i1

proofgold address
TMNKz..^{Octonion_i4_i1}

creator
28532 PrQUS../939dc..

owner
28532 PrQUS../939dc..

term root
fe234..