Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i5_i6

proof
PUYEK..

Megalodon
Octonion_i5_i6

proofgold address
TMbqn..^{Octonion_i5_i6}

creator
28532 PrQUS../e5f8b..

owner
28532 PrQUS../e5f8b..

term root
f51c6..