Mathlib Changelog
v4
Changelog
About
Github
Theorem
List.pair_sublist_insertionSort
Modification history
2024-09-29 08:52
Mathlib/Data/List/Sort.lean
feat: stability of `List.insertionSort` (#16065) …
Added
List.pair_sublist_insertionSort
View on Github →