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

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