Theorem List.map_split

Modification history

2024-10-25 01:40

Mathlib/Data/List/Sort.lean

chore: cleanup of `mergeSort'` (#16902) …

Deleted List.map_split View on Github →

2024-08-20 21:56

Mathlib/Data/List/Sort.lean

feat: interactions between `List.map` and sorting lists (#15952) …

Added List.map_split View on Github →