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

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