Theorem List.finRange_eq_pmap_range

Modification history

2025-12-05 02:29
Mathlib/Data/List/FinRange.lean
chore: adaptations for batteries#1490 (#31270) …
Deleted List.finRange_eq_pmap_rangeView on Github →
2024-11-25 13:34
Mathlib/Data/List/FinRange.lean
chore: change the definition of `List.finRange` (#19447) …
Added List.finRange_eq_pmap_rangeView on Github →