Theorem List.mergeSort_eq_self
Modification history
2025-02-13 11:44
Mathlib/Data/List/Sort.lean
feat(List/Sort): generalize `sorted_mergeSort'` (#21809) …
Modified List.mergeSort_eq_selfView on Github →2024-10-25 01:40
Mathlib/Data/List/Sort.lean
chore: cleanup of `mergeSort'` (#16902) …
Added List.mergeSort_eq_selfView on Github →