Mathlib v3 is deprecated. Go to Mathlib v4

Def list.split_wrt_composition_aux

Modification history

2020-05-04 10:57

src/combinatorics/composition.lean

feat(combinatorics/composition): refactor compositions, split a list wrt a composition (#2554) …

Added list.split_wrt_composition_aux View on Github →