Theorem Int.le_ceil_iff

Modification history

2024-09-23 12:22
Mathlib/Algebra/Order/Floor.lean
feat: `⌈a⌉ < 2 * a` (#17024) …
Added Int.le_ceil_iffView on Github →