Proofgold Proposition

type
prop

theory
HotG

name
quaternion_k

proof
PUcEg..

Megalodon
quaternion_k

proofgold address
TMWPi..^quaternion_k

creator
28531 PrQUS../a557d..

owner
28531 PrQUS../a557d..

term root
8d943..