Theorem Set.uIoo_subset_Ioo

Modification history

2025-11-14 11:51

Mathlib/Order/Interval/Set/UnorderedInterval.lean

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

Added Set.uIoo_subset_Ioo View on Github →