Theorem Set.uIoo_subset_uIcc_self

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_uIcc_selfView on Github →