Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i0_i1

proof
PUYEK..

Megalodon
Octonion_i0_i1

proofgold address
TMM7q..^{Octonion_i0_i1}

creator
28532 PrQUS../b9b5f..

owner
28532 PrQUS../b9b5f..

term root
b4370..