Theorem List.Pairwise.rel_dropLast_getLast

Modification history

2025-03-13 13:57
Mathlib/Data/List/Pairwise.lean
feat(List/Pairwise): add `rel_getLast` (#22427) …
Added List.Pairwise.rel_dropLast_getLastView on Github →