Mathlib v3 is deprecated. Go to Mathlib v4

Theorem decidable.and_forall_ne

Modification history

2023-01-14 17:40
src/logic/basic.lean
chore(archive/100-theorems-list/30_ballot_problem): golf (#18126) …
Added decidable.and_forall_neView on Github →