Theorem List.maximum_append

Modification history

2025-02-28 14:11
Mathlib/Data/List/MinMax.lean
feat(Data/List): `List.maximum_append` (#22398) …
Added List.maximum_appendView on Github →