Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zero_ne_bit0

Modification history

2022-11-09 17:39
src/algebra/char_zero.lean
chore(algebra/parity): Reduce imports (#17391) …
Added zero_ne_bit0View on Github →