mathlib3
feat(combinatorics/stars_and_bars): Add a dedicated type for stars and bars
#13063
Open
Overview
Commits
6
Changes
View On GitHub

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

eric-wieser wants to merge 6 commits into master from eric-wieser/stars-and-bars
eric-wieser
eric-wieser feat(combinatorics/stars_and_bars): Add a dedicated type for stars an…
ba02f38c
eric-wieser eric-wieser added awaiting-review
leanprover-community-bot-assistant leanprover-community-bot-assistant added blocked-by-other-PR
eric-wieser lintfix
034d3934
leanprover-community-bot-assistant leanprover-community-bot-assistant removed blocked-by-other-PR
eric-wieser lintfix
e6ff7bd7
eric-wieser really make the weirdness obvious
5f9c7143
eric-wieser oops
b8875386
robertylewis
eric-wieser
eric-wieser eric-wieser removed awaiting-review
eric-wieser eric-wieser added awaiting-author
eric-wieser Merge remote-tracking branch 'origin/master' into eric-wieser/stars-a…
1f085806
YaelDillies
kim-em kim-em added too-late
eric-wieser eric-wieser requested a review 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
awaiting-author too-late
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum