Theorem Set.uIoo_eq_union

Modification history

2025-11-14 11:51

Mathlib/Order/Interval/Set/UnorderedInterval.lean

chore(Order/UnorderedInterval): add basic uIoo lemmas (#31438) …

Added Set.uIoo_eq_union View on Github →