Theorem Set.nonempty_uIoo

Modification history

2025-11-14 11:51

Mathlib/Order/Interval/Set/UnorderedInterval.lean

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

Added Set.nonempty_uIoo View on Github →