Proofgold Proposition

type
prop

theory
HotG

name
Quaternion_k_j

proof
PUgzA..

Megalodon
Quaternion_k_j

proofgold address
TMM2P..^{Quaternion_k_j}

creator
28464 PrQUS../7e1ad..

owner
28464 PrQUS../7e1ad..

term root
a2b35..