Theorem Nat.div_lt_iff_lt_mul'
Modification history
2025-08-05 07:35
Mathlib/Data/Nat/Init.lean
chore: further >6month old deprecations (#27799)
Deleted Nat.div_lt_iff_lt_mul'View on Github →2024-11-07 11:20
Mathlib/Data/Nat/Defs.lean
chore: deprecate Nat.le_div_iff_mul_le' and Nat.div_lt_iff_lt_mul' (#18721) …
Modified Nat.div_lt_iff_lt_mul'View on Github →