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

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