Def Finset.disjSups

Modification history

2024-10-22 21:02

Mathlib/Data/Finset/Sups.lean

chore(Data): use newly introduced finset notation (#18059) …

Modified Finset.disjSups View on Github →

2023-04-08 12:22

Mathlib/Data/Finset/Sups.lean

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

Added Finset.disjSups View on Github →