Proofgold Proposition

type
prop

theory
HotG

name
quaternion_minus_HSNo

proof
PUcEg..

Megalodon
quaternion_minus_HSNo

proofgold address
TMHnb..^{quaternion_minus_HSNo}

creator
28531 PrQUS../63053..

owner
28531 PrQUS../63053..

term root
8bff4..