Proofgold Proposition

type
prop

theory
HotG

name
quaternion_conj_HSNo

proof
PUcEg..

Megalodon
quaternion_conj_HSNo

proofgold address
TMarg..^{quaternion_conj_HSNo}

creator
28531 PrQUS../8f008..

owner
28531 PrQUS../8f008..

term root
ef83a..