Theorem List.minimum_eq_top

Modification history

2026-08-10 08:17

Mathlib/Data/List/MinMax.lean

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

Deleted List.minimum_eq_top View on Github →

2024-06-01 02:58

Mathlib/Data/List/MinMax.lean

chore: deprecate bad lemmas about WithTop/WithBot (#13128) …

Added List.minimum_eq_top View on Github →