Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i3_i0

proof
PUYEK..

Megalodon
Octonion_i3_i0

proofgold address
TMamL..^{Octonion_i3_i0}

creator
28532 PrQUS../b3a39..

owner
28532 PrQUS../b3a39..

term root
90242..