Intuition.out « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

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

blob: cadb35c630b75f064ad14817485e86903600554a (plain)

1 subgoal
  
  m : Z
  n : Z
  H : `m >= n`
  ============================
   `m >= m`