Proofgold Proposition

type
prop

theory
HotG

name
Quaternion_i_k

proof
PUgzA..

Megalodon
Quaternion_i_k

proofgold address
TMXBJ..^{Quaternion_i_k}

creator
28464 PrQUS../d7f5b..

owner
28464 PrQUS../d7f5b..

term root
987b3..