Mathlib v3 is deprecated. Go to Mathlib v4

Def ballot.counted_sequence

Modification history