Theorem: Int.succ_le_succ (MLIR/Util/Arith.lean)

State before:
n m : ℤ
⊢ n ≤ m → n + 1 ≤ m + 1
Tactic:
sorry
State after:
no goals