Proofgold Proposition

type
prop

theory
HotG

name
Quaternion_j_k

proof
PUgzA..

Megalodon
Quaternion_j_k

proofgold address
TMQq4..^{Quaternion_j_k}

creator
28464 PrQUS../a4c45..

owner
28464 PrQUS../a4c45..

term root
4089f..