proposition: Lemma Qneq_symmetry (x y : Q) : ~x == y -> ~y == x.
proof: Proof. firstorder auto with crelations. Qed.
imports: Coq.QArith.QArith Coq.ZArith.ZArith Coq.NArith.NArith Coq.QArith.Qpower Coq.QArith.Qround Coq.QArith.Qround Coq.QArith.Qabs CoRN.stdlib_omissions.List