Theorem List.minimum_append

Modification history

2026-08-10 08:17

Mathlib/Data/List/MinMax.lean

chore(Data/List/MinMax): use `to_dual` (#41559) …

Deleted List.minimum_append View on Github →

2025-02-28 14:11

Mathlib/Data/List/MinMax.lean

feat(Data/List): `List.maximum_append` (#22398) …

Added List.minimum_append View on Github →