mathlib
1f085806 - Merge remote-tracking branch 'origin/master' into eric-wieser/stars-and-bars

Commit

3 years ago

Merge remote-tracking branch 'origin/master' into eric-wieser/stars-and-bars

References

eric-wieser/stars-and-bars

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

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading