Theorem Nat.div_two_lt_floor
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.div_two_lt_floorView on Github →