mathlib3
dfc54a3a - feat(combinatorics/ballot): the Ballot problem (#13592)

Commit

3 years ago

feat(combinatorics/ballot): the Ballot problem (#13592)

Author

kex-y

kex-y

Parents

Loading