Theorem Set.uIoc_of_le

Modification history

2025-12-31 08:52
Mathlib/Order/Interval/Set/UnorderedInterval.lean
chore: golf using `grind`. add `grind` annotations. (#33332)
Modified Set.uIoc_of_leView on Github →
2023-01-22 15:33
Mathlib/Data/Set/Intervals/UnorderedInterval.lean
chore: Rename intervals to `uIcc`/`uIoc` (#1496) …
Added Set.uIoc_of_leView on Github →