Def Bitvec.fillShr

Modification history

2023-08-03 19:38

Mathlib/Data/Bitvec/Defs.lean

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

Deleted Bitvec.fillShr View on Github →

2023-01-25 09:35

Mathlib/Data/Bitvec/Core.lean

feat: port data.bitvec.core (#1731)

Added Bitvec.fillShr View on Github →