Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-04 18:03 1a7fb7e4

View on Github →

feat(data/list/sort): add sorted.rel_of_mem_take_of_mem_drop (#6027) Also renames the existing lemmas to enable dot notation

Estimated changes