Theorem Set.eq_of_mem_intervalOC_of_mem_intervalOC'

Modification history

2023-01-22 15:33

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

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

Deleted Set.eq_of_mem_intervalOC_of_mem_intervalOC'View on Github →

2022-12-20 05:15

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

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

Added Set.eq_of_mem_intervalOC_of_mem_intervalOC'View on Github →