Theorem List.pairwise_lt_finRange

Modification history

2024-11-25 13:34
Mathlib/Data/List/FinRange.lean
chore: change the definition of `List.finRange` (#19447) …
Modified List.pairwise_lt_finRangeView on Github →
2023-09-15 18:54
Mathlib/Data/List/Range.lean
feat(Data/List/Range + Data/Finset/Sort): List.finRange lemmas (#7184) …
Added List.pairwise_lt_finRangeView on Github →