Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.sorted.rel_nth_le_of_lt

Modification history

2021-02-04 18:03

src/data/list/sort.lean

feat(data/list/sort): add sorted.rel_of_mem_take_of_mem_drop (#6027) …

Added list.sorted.rel_nth_le_of_lt View on Github →