chore: reduce imports

leanprover-community · Oct 29, 2024 · 473b1f0 · 473b1f0
1 parent 20b0f2c
commit 473b1f0
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Mathlib/Testing/Plausible/Functions.lean b/Mathlib/Testing/Plausible/Functions.lean
@@ -6,7 +6,6 @@ Authors: Simon Hudon
 import Mathlib.Algebra.Order.Group.Nat
 import Mathlib.Data.Int.Range
 import Mathlib.Data.List.Perm.Lattice
-import Mathlib.Data.List.Range
 import Mathlib.Data.List.Sigma
 import Plausible.Functions