Theorem List.getD_maximum?_eq_unbot'_maximum

Modification history

2024-10-04 03:33

Mathlib/Data/List/MinMax.lean

chore: bump toolchain to v4.13.0-rc2 (#17377) …

Deleted List.getD_maximum?_eq_unbot'_maximum View on Github →

2024-07-17 23:42

Mathlib/Data/List/MinMax.lean

feat)List/MinMax): getD_maximum?_eq_unbot'_maximum (#14836) …

Added List.getD_maximum?_eq_unbot'_maximum View on Github →