Theorem Set.Ioi_ssubset_Ioi_iff

Modification history

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