Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ballot.mem_counted_sequence_iff_perm

Modification history

2023-01-14 17:40

archive/100-theorems-list/30_ballot_problem.lean

chore(archive/100-theorems-list/30_ballot_problem): golf (#18126) …

Added ballot.mem_counted_sequence_iff_perm View on Github →