Theorem List.Pairwise.rel_getLast

Modification history

2026-01-09 08:53
Mathlib/Data/List/Pairwise.lean
chore(Order/Defs/Unbundled): deprecate `IsRefl` in favor of core's `Std.Refl` (#33755)
Modified List.Pairwise.rel_getLastView on Github →
2025-03-13 13:57
Mathlib/Data/List/Pairwise.lean
feat(List/Pairwise): add `rel_getLast` (#22427) …
Added List.Pairwise.rel_getLastView on Github →