Theorem Finset.Iio_ssubset_Iio

Modification history

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