Theorem Bitvec.addLsb_eq_twice_add_one

Modification history

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