Theorem Set.unionᵢ_Ici

Modification history

2023-05-14 07:05

Mathlib/Data/Set/Intervals/Disjoint.lean

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

Deleted Set.unionᵢ_Ici View on Github →

2022-12-26 20:05

Mathlib/Data/Set/Intervals/Disjoint.lean

feat: port Data.Set.Intervals.Disjoint (#1198)

Added Set.unionᵢ_Ici View on Github →