path: root/test-suite/output/Intuition.v8

Require Import ZArith_base.
Goal forall m n : Z, (m >= n)%Z -> (m >= m)%Z /\ (m >= n)%Z.
intros; intuition.
Show.
Abort.