Theorem Std.BitVec.addLsb_eq_twice_add_one

Modification history