Theorem List.le_max_of_le'

Modification history

2025-03-31 12:58
Mathlib/Data/List/MinMax.lean
feat(Data/List/MinMax): add le_max_of_le' (#23204)
Added List.le_max_of_le'View on Github →