sort imports

leanprover-community · Nov 17, 2024 · 49a3566 · 49a3566
1 parent ff9a5f7
commit 49a3566
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean b/Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean
@@ -6,10 +6,10 @@ Authors: Floris van Doorn, Yaël Dillies
 import Mathlib.Algebra.BigOperators.Group.Finset
 import Mathlib.Algebra.Group.Action.Pi
 import Mathlib.Algebra.Group.Pointwise.Set.Finite
+import Mathlib.Algebra.Group.Pointwise.Set.ListOfFn
 import Mathlib.Data.Finset.Density
 import Mathlib.Data.Finset.Max
 import Mathlib.Data.Finset.NAry
-import Mathlib.Algebra.Group.Pointwise.Set.ListOfFn
 import Mathlib.Data.Set.Pointwise.SMul
 
 /-!