mathlib3

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