Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i5_i0

proof
PUYEK..

Megalodon
Octonion_i5_i0

proofgold address
TMQdW..^{Octonion_i5_i0}

creator
28532 PrQUS../0c295..

owner
28532 PrQUS../0c295..

term root
adfd5..