Theorem Finset.Ici_ssubset_Ici

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.Ici_ssubset_Ici View on Github →