Theorem List.pairwise_middle

Modification history

2023-09-18 01:46
Mathlib/Data/List/Pairwise.lean
chore: update to std4#100 (#6743) …
Deleted List.pairwise_middleView on Github →
2022-10-24 02:02
Mathlib/Data/List/Pairwise.lean
feat: align `init.{core, logic}` (#490) …
Modified List.pairwise_middleView on Github →
2022-09-23 02:45
Mathlib/Data/List/Pairwise.lean
feat: minimal port of Fintype (#429) …
Added List.pairwise_middleView on Github →