poke

leanprover-community · Feb 13, 2025 · 0ca0cf9 · 0ca0cf9
1 parent a19a437
commit 0ca0cf9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Mathlib/Algebra/Order/Floor.lean b/Mathlib/Algebra/Order/Floor.lean
@@ -6,11 +6,11 @@ Authors: Mario Carneiro, Kevin Kappelmann
 import Mathlib.Algebra.CharZero.Lemmas
 import Mathlib.Algebra.Group.Int.Even
 import Mathlib.Algebra.Group.Int.Units
+import Mathlib.Data.Nat.Cast.Order.Field
 import Mathlib.Data.Set.Function
 import Mathlib.Data.Set.Monotone
-import Mathlib.Order.Interval.Set.Defs
-import Mathlib.Data.Nat.Cast.Order.Field
 import Mathlib.Data.Set.Subsingleton
+import Mathlib.Order.Interval.Set.Defs
 import Mathlib.Tactic.Abel
 import Mathlib.Tactic.FieldSimp
 import Mathlib.Tactic.Linarith