Theorem Set.uIcc_of_not_ge

Modification history

2024-01-07 19:34

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

chore(*): replace `$` with `<|` (#9319) …

Modified Set.uIcc_of_not_ge View on Github →

2023-01-22 15:33

Mathlib/Data/Set/Intervals/UnorderedInterval.lean

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

Added Set.uIcc_of_not_ge View on Github →