mathlib
034d3934
- lintfix
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
lintfix
References
#13063 - feat(combinatorics/stars_and_bars): Add a dedicated type for stars and bars
Author
eric-wieser
Parents
ba02f38c
Loading
