Proofgold Proposition

type
prop

theory
HotG

name
Quaternion_k_i

proof
PUgzA..

Megalodon
Quaternion_k_i

proofgold address
TMK1N..^{Quaternion_k_i}

creator
28464 PrQUS../41812..

owner
28464 PrQUS../41812..

term root
7fb30..