Theorem Bitvec.decide_addLsb_mod_two

Modification history

2023-11-29 12:22
Mathlib/Data/Bitvec/Lemmas.lean
refactor: replace Bitvec with Std.BitVec (#5920) …
Deleted Bitvec.decide_addLsb_mod_twoView on Github →
2023-04-20 04:08
Mathlib/Data/Bitvec/Basic.lean
feat: port Data.Bitvec.Basic (#2179)
Added Bitvec.decide_addLsb_mod_twoView on Github →