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

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