Proofgold Proposition

type
prop

theory
HotG

name
Quaternion_j_sqr

proof
PUgzA..

Megalodon
Quaternion_j_sqr

proofgold address
TMTQG..^{Quaternion_j_sqr}

creator
28464 PrQUS../33128..

owner
28464 PrQUS../33128..

term root
b4236..