chore(Data/Finset/Slice): remove unnecessary import (leanprover-community#39352)

qawbecrdtey · b-mehta · commit 7302f5d8132e · 2026-06-02T17:48:06.000+01:00
diff --git a/Mathlib/Data/Finset/Slice.lean b/Mathlib/Data/Finset/Slice.lean
@@ -6,7 +6,6 @@ Authors: Bhavik Mehta, Alena Gusakov, Yaël Dillies
 module
 
 public import Mathlib.Data.Fintype.Powerset
-public import Mathlib.Order.Antichain
 public import Mathlib.Order.Interval.Finset.Nat
 public import Mathlib.Algebra.BigOperators.Group.Finset.Basic
 
