Theorem List.indexOf_finRange
Modification history
2025-02-03 17:43
Mathlib/Data/List/FinRange.lean
chore: bump toolchain to v4.17.0-rc1 (#21377)
Deleted List.indexOf_finRangeView on Github →2024-11-25 13:34
Mathlib/Data/List/FinRange.lean
chore: change the definition of `List.finRange` (#19447) …
Modified List.indexOf_finRangeView on Github →