Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-08-13 07:53 8692959b

View on Github →

feat(data/list/basic): diff_sublist_of_sublist

Estimated changes