Commit 2024-10-19 19:27 721c01e4
View on Github →chore(Data/Nat/{Bit, Bitwise}): make Nat.bit_mod_two Nat.bit_eq_zero_iff be simp (#17924)
Also deprecate Nat.bit_eq_zero. It is identical to Nat.bit_eq_zero_iff.
chore(Data/Nat/{Bit, Bitwise}): make Nat.bit_mod_two Nat.bit_eq_zero_iff be simp (#17924)
Also deprecate Nat.bit_eq_zero. It is identical to Nat.bit_eq_zero_iff.