Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bit0_ne_zero

Modification history

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