Mathlib v3 is deprecated. Go to Mathlib v4

Def list.split_on_p_aux

Modification history

2020-06-02 00:43
src/data/list/defs.lean
chore(*): split long lines (#2913)
Modified list.split_on_p_auxView on Github →
2019-04-05 06:30
src/data/list/defs.lean
feat(list.split_on): [1,1,2,3,2,4,4].split_on 2 = [[1,1],[3],[4,4]] (#866)
Added list.split_on_p_auxView on Github →