feat: port Data.Finset.Sups (#1663)

- [x] depends on: leanprover-community/mathlib#18172 - [x] depends on: #2991 Co-authored-by: Moritz Firsching <firsching@google.com> Co-authored-by: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>
leanprover-community · Apr 8, 2023 · 536275b · 536275b
1 parent 406233d
commit 536275b
Show file tree

Hide file tree

Showing 2 changed files with 560 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -677,6 +677,7 @@ import Mathlib.Data.Finset.Sigma
 import Mathlib.Data.Finset.Slice
 import Mathlib.Data.Finset.Sort
 import Mathlib.Data.Finset.Sum
+import Mathlib.Data.Finset.Sups
 import Mathlib.Data.Finset.Sym
 import Mathlib.Data.Finsupp.AList
 import Mathlib.Data.Finsupp.Antidiagonal