Def composition.ones

Modification history

2020-05-04 10:57

src/combinatorics/composition.lean

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

Added composition.ones View on Github →