Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i0_i4

proof
PUYEK..

Megalodon
Octonion_i0_i4

proofgold address
TMNas..^{Octonion_i0_i4}

creator
28532 PrQUS../cb468..

owner
28532 PrQUS../cb468..

term root
13313..