Proofgold Proposition

type
prop

theory
HotG

name
octonion_j

proof
PUcEg..

Megalodon
octonion_j

proofgold address
TMFsm..^octonion_j

creator
28531 PrQUS../0b013..

owner
28531 PrQUS../0b013..

term root
7c86a..