Theorem List.map_merge

Modification history

2024-10-04 03:33

Mathlib/Data/List/Sort.lean

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

Deleted List.map_merge 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_merge View on Github →