Intuition.out « output « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

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

blob: 5831c9f4349228ac412db5037f874832b121189a (plain)

1 subgoal
  
  m : Z
  n : Z
  H : (m >= n)%Z
  ============================
   (m >= m)%Z