Theorem Finset.range_succ
Modification history
2026-03-25 05:05
Mathlib/Data/Finset/Range.lean
chore: remove declarations deprecated between 2021-03-24 and 2025-09-24 (#37118) …
Deleted Finset.range_succView on Github →2025-09-11 00:00
Mathlib/Data/Finset/Range.lean
chore(Data/Finset): deprecate `range_succ`; rename `range_subset` to `range_subset_range` (#29509) …
Modified Finset.range_succView on Github →2024-11-11 13:54
Mathlib/Data/Finset/Range.lean
chore(Data/Finset): split `Basic.lean` into many smaller files (#18610) …
Added Finset.range_succView on Github →