Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i0_sqr

proof
PUdK2..

Megalodon
Octonion_i0_sqr

proofgold address
TMcxh..^{Octonion_i0_sqr}

creator
28513 PrQUS../5bd73..

owner
28513 PrQUS../5bd73..

term root
6e173..