Theorem Int.bit1_ne_zero

Modification history

2024-07-15 11:16

Mathlib/Data/Int/Bitwise.lean

chore: remove bit0/bit1 and associated lemmas (#14745) …

Deleted Int.bit1_ne_zero View on Github →

2023-01-02 08:14

Mathlib/Data/Int/Bitwise.lean

feat: port Data.Int.Bitwise (#1159) …

Added Int.bit1_ne_zero View on Github →