Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.sorted.tail

Modification history

2020-12-08 05:05
src/data/list/sort.lean
chore(data/list/pairwise): add `list.pairwise_pmap` and `list.pairwise.pmap` (#5273) …
Modified list.sorted.tailView on Github →
2019-09-17 00:58
src/data/list/sort.lean
feat(data/list/sort): ordered_insert lemmas (#1437) …
Added list.sorted.tailView on Github →