Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i2_i0

proof
PUYEK..

Megalodon
Octonion_i2_i0

proofgold address
TMHAR..^{Octonion_i2_i0}

creator
28532 PrQUS../fcea8..

owner
28532 PrQUS../fcea8..

term root
cafa5..