Def List.finRange
Modification history
2024-11-26 22:19
Mathlib/Data/List/Defs.lean
chore: adaptation to batteries#1055 (#19487)
Deleted List.finRangeView on Github →2024-11-25 13:34
Mathlib/Data/List/Defs.lean
chore: change the definition of `List.finRange` (#19447) …
Modified List.finRangeView on Github →2024-10-28 08:12
Mathlib/Data/List/Defs.lean
chore(Data/List): move the definition of finRange to Defs (#18312)
Modified List.finRangeView on Github →2023-01-10 22:47
Mathlib/Data/List/Range.lean
feat: port Mathlib.Data.List.Range (#1463)
Modified List.finRangeView on Github →