Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-18 01:00 157004cd

View on Github →

feat(data/list/basic): some more theorems about sublist (#264)

Estimated changes

Modified data/list/basic.lean

added theorem list.erase_diff_erase_sublist_of_sublist

Modified data/list/perm.lean

added theorem list.erase_subperm

added theorem list.erase_subperm_erase