Theorem Set.uIoc_of_ge

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_geView on Github →
2024-06-30 23:36
Mathlib/Order/Interval/Set/UnorderedInterval.lean
feat(Order/Interval/Set): trivial generalization of a lemma about `UnorderedInterval` (#14199) …
Added Set.uIoc_of_geView on Github →