Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ballot.counted_eq_nil_iff

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.counted_eq_nil_iff View on Github →