Theorem Int.ceil_div_ceil_inv_sub_one

Modification history

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