Proofgold Proposition

type
prop

theory
HotG

name
quaternion_i

proof
PUcEg..

Megalodon
quaternion_i

proofgold address
TMWem..^quaternion_i

creator
28531 PrQUS../0ef5c..

owner
28531 PrQUS../0ef5c..

term root
2065c..