mathlib3

feat(combinatorics/stars_and_bars): Add a dedicated type for stars and bars

#13063

Open