Theorem Bitvec.ofFin_toFin

Modification history

2023-11-29 12:22
Mathlib/Data/Bitvec/Lemmas.lean
refactor: replace Bitvec with Std.BitVec (#5920) …
Deleted Bitvec.ofFin_toFinView on Github →
2023-04-20 04:08
Mathlib/Data/Bitvec/Basic.lean
feat: port Data.Bitvec.Basic (#2179)
Added Bitvec.ofFin_toFinView on Github →