Theorem Set.right_notMem_uIoo

Modification history

2025-11-14 11:51

Mathlib/Order/Interval/Set/UnorderedInterval.lean

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

Added Set.right_notMem_uIoo View on Github →