Theorem List.min_le_of_le'

Modification history

2026-08-10 08:17
Mathlib/Data/List/MinMax.lean
chore(Data/List/MinMax): use `to_dual` (#41559) …
Deleted List.min_le_of_le'View on Github →
2025-03-31 12:58
Mathlib/Data/List/MinMax.lean
feat(Data/List/MinMax): add le_max_of_le' (#23204)
Added List.min_le_of_le'View on Github →