Theorem Int.cast_nonneg_iff

Modification history

2025-11-11 22:41
Mathlib/Algebra/Order/Ring/Cast.lean
feat: one-sided version of `Int.cast_nonneg` (#31477) …
Added Int.cast_nonneg_iffView on Github →