fix

leanprover-community · Sep 28, 2024 · e6ba3c4 · e6ba3c4
1 parent bbd8276
commit e6ba3c4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean b/Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean
@@ -6,7 +6,7 @@ Authors: Floris van Doorn, Yaël Dillies
 import Mathlib.Algebra.BigOperators.Group.Finset
 import Mathlib.Algebra.Group.Action.Pi
 import Mathlib.Algebra.Order.Ring.Nat
-import Mathlib.Algebra.Ring.Pointwise.Setimport Mathlib.Data.Finset.Density
+import Mathlib.Algebra.Ring.Pointwise.Set\nimport Mathlib.Data.Finset.Density
 import Mathlib.Data.Finset.NAry
 import Mathlib.Data.Set.Pointwise.Finite
 import Mathlib.Data.Set.Pointwise.ListOfFn

diff --git a/Mathlib/Topology/Order/LeftRightNhds.lean b/Mathlib/Topology/Order/LeftRightNhds.lean
@@ -3,7 +3,7 @@ Copyright (c) 2017 Johannes Hölzl. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Johannes Hölzl, Mario Carneiro, Yury Kudryashov
 -/
-import Mathlib.Algebra.Ring.Pointwise.Setimport Mathlib.Order.Filter.AtTopBot.Group
+import Mathlib.Algebra.Ring.Pointwise.Set\nimport Mathlib.Order.Filter.AtTopBot.Group
 import Mathlib.Topology.Order.Basic
 
 /-!