Def Bitvec.ofFin

Modification history

2023-11-29 12:22

Mathlib/Data/Bitvec/Defs.lean

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

Deleted Bitvec.ofFin View on Github →

2023-06-10 10:48

Mathlib/Data/Bitvec/Defs.lean

refactor: Defs and Lemmas files for Bitvec (#4899) …

Modified Bitvec.ofFin View on Github →

2023-04-20 04:08

Mathlib/Data/Bitvec/Basic.lean

feat: port Data.Bitvec.Basic (#2179)

Added Bitvec.ofFin View on Github →