Theorem List.Pairwise.head!_le

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.head!_leView on Github →
2025-12-05 15:16
Mathlib/Data/List/Pairwise.lean
refactor(`Data/List/Sort`): deprecate and replace `List.Sorted` (#30441) …
Added List.Pairwise.head!_leView on Github →