Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ballot.counted_sequence_int_neg_counted_succ_succ

Modification history