Def Bitvec.append

Modification history

2023-11-29 12:22

Mathlib/Data/Bitvec/Defs.lean

refactor: replace Bitvec with Std.BitVec (#5920) …

Deleted Bitvec.append View on Github →

2023-01-25 09:35

Mathlib/Data/Bitvec/Core.lean

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

Added Bitvec.append View on Github →