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