Def Finset.disjiUnion

Modification history

2024-03-29 15:59

Mathlib/Data/Finset/Basic.lean

chore(Data/Finset/Basic): Depend on less order theory (#11732) …

Modified Finset.disjiUnion View on Github →

2023-05-14 07:05

Mathlib/Data/Finset/Basic.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added Finset.disjiUnion View on Github →