Theorem Set.interval_subset_interval_iff_le'

Modification history

2023-01-22 15:33

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

chore: Rename intervals to `uIcc`/`uIoc` (#1496) …

Deleted Set.interval_subset_interval_iff_le'View on Github →

2022-12-20 05:15

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

feat: port `Data.Set.Intervals.UnorderedInterval` (#1062)

Added Set.interval_subset_interval_iff_le'View on Github →