Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-09 13:27 dfc54a3a

View on Github →

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

Estimated changes