Theorem List.finRange_succ

Modification history

2024-11-26 22:19
Mathlib/Data/List/FinRange.lean
chore: adaptation to batteries#1055 (#19487)
Deleted List.finRange_succView on Github →
2023-11-11 11:20
Mathlib/Data/List/FinRange.lean
feat: Add to `List.finRange` and `Fin.castLE` APIs (#8306) …
Added List.finRange_succView on Github →