Proofgold Proposition

type
prop

theory
HotG

name
Quaternion_j_i

proof
PUgzA..

Megalodon
Quaternion_j_i

proofgold address
TMX4j..^{Quaternion_j_i}

creator
28464 PrQUS../4cfbc..

owner
28464 PrQUS../4cfbc..

term root
134ba..