Proofgold Proposition

type
prop

theory
HotG

name
Octonion_i6_sqr

proof
PUdK2..

Megalodon
Octonion_i6_sqr

proofgold address
TMdeb..^{Octonion_i6_sqr}

creator
28513 PrQUS../877d8..

owner
28513 PrQUS../877d8..

term root
97f9e..