Theorem Nat.ceil_le_two_mul
Modification history
2025-08-27 10:43
Mathlib/Algebra/Order/Floor/Semifield.lean
refactor: add `assert_not_exists Field` to `Mathlib.Combinatorics.SimpleGraph.Extremal.Basic` (#28721) …
Modified Nat.ceil_le_two_mulView on Github →