Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-04-05 06:30 44d1c7aa

View on Github →

feat(list.split_on): [1,1,2,3,2,4,4].split_on 2 = [[1,1],[3],[4,4]] (#866)

Estimated changes

added def list.split_on
added def list.split_on_p