Theorem Finset.subset_range

Modification history

2025-09-11 00:00
Mathlib/Data/Finset/Range.lean
chore(Data/Finset): deprecate `range_succ`; rename `range_subset` to `range_subset_range` (#29509) …
Added Finset.subset_rangeView on Github →