Theorem Bitvec.addLsb_div_two

Modification history

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