Theorem List.minimum_anti

Modification history

2026-08-10 08:17

Mathlib/Data/List/MinMax.lean

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

Deleted List.minimum_anti View on Github →

2025-02-21 11:42

Mathlib/Data/List/MinMax.lean

feat(Data/List): `List.maximum` is monotone (#22091) …

Added List.minimum_anti View on Github →