Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i2_sqr

proof
PUdK2..

Megalodon
Octonion_i2_sqr

proofgold address
TMNwi..^{Octonion_i2_sqr}

creator
28513 PrQUS../6b877..

owner
28513 PrQUS../6b877..

term root
52dca..