Theorem Int.div_two_lt_floor

Modification history

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