Theorem List.Pairwise.rel_getLast_of_rel_getLast_getLast

Modification history

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