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

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