Top Questions

1. How to prove that x < y → x ≤ y - 2 if both are odd or both are even in Lean?
   2 votes

   2 answers