Library mxx

Require Import Omega.

Lemma M11 : 1 ≤ 1.
Proof. omega. Qed.

Lemma M12 : 1 ≤ 2.
Proof. omega. Qed.

Lemma M22 : 2 ≤ 2.
Proof. omega. Qed.

Lemma M01 : 0 ≠ 1.
Proof. omega. Qed.