Proofgold Proposition

type
prop

theory
HotG

name
Quaternion_i_j

proof
PUgzA..

Megalodon
Quaternion_i_j

proofgold address
TMaBP..^{Quaternion_i_j}

creator
28464 PrQUS../36732..

owner
28464 PrQUS../36732..

term root
0337a..