Skip to content

Update Std/Data/BitVec/Lemmas.lean #5

Update Std/Data/BitVec/Lemmas.lean

Update Std/Data/BitVec/Lemmas.lean #5