Theorem List.maximum_mono

Modification history

2025-02-21 11:42
Mathlib/Data/List/MinMax.lean
feat(Data/List): `List.maximum` is monotone (#22091) …
Added List.maximum_monoView on Github →