Proofgold Proposition

type
prop

theory
HotG

name
HSNo_Quaternion_k

proof
PUgzA..

Megalodon
HSNo_Quaternion_k

proofgold address
TMXVv..^{HSNo_Quaternion_k}

creator
28464 PrQUS../d0268..

owner
28464 PrQUS../d0268..

term root
5a2d4..