From 49a3566022c99a1a63277d1189952feeb4ad500f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ya=C3=ABl=20Dillies?= <yael.dillies@gmail.com>
Date: Sun, 17 Nov 2024 15:21:47 +0000
Subject: [PATCH] sort imports

---
 Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean b/Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean
index 7deb89fb1b3813..4330e3cf9abaef 100644
--- 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
 
 /-!