Commit 2023-08-03 19:38 e77e8e12

View on Github →

refactor: generalize shifts from bitvector to arbitrary vectors (#5896)

Estimated changes

Modified Mathlib/Data/Bitvec/Defs.lean

deleted def Bitvec.fillShr

Modified Mathlib/Data/Vector.lean

added def Vector.shiftLeftFill

added def Vector.shiftRightFill