Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i1_sqr

proof
PUdK2..

Megalodon
Octonion_i1_sqr

proofgold address
TMYgY..^{Octonion_i1_sqr}

creator
28513 PrQUS../832d6..

owner
28513 PrQUS../832d6..

term root
2cf2b..