Theorem Int.ceil_lt_two_mul

Modification history

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