Theorem Int.ceil_lt_iff

Modification history

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