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

State before:
n m k : ℤ
⊢ n < m → k + n < k + m
Tactic:
sorry
State after:
no goals