Theorem Set.Iio_ssubset_Iio

Modification history

2025-04-08 12:42
Mathlib/Order/Interval/Set/Basic.lean
feat(Order/Interval): add strict inclusion lemmas for unbounded intervals (#23798) …
Added Set.Iio_ssubset_IioView on Github →