Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
list.sorted_insertion_sort
Modification history
2020-12-08 07:36
src/data/list/sort.lean
chore(data/list/sort): docs, add a few lemmas (#5274) …
Modified
list.sorted_insertion_sort
View on Github →
2017-09-08 20:06
data/list/sort.lean
feat(data/encodable): ported data/encodable.lean from Lean2
Added
list.sorted_insertion_sort
View on Github →