30_ballot_problem): golf (#18126)

Commit

2 years ago

chore(archive/100-theorems-list/30_ballot_problem): golf (#18126) Also add some supporting lemmas.

Author

urkud

Parents