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

State before:
n : ℤ
⊢ n ≥ 0 → 0 ≥ -n
Tactic:
simp [GE.ge, LE.le, Int.le, Int.neg_neg]
State after:
no goals