Theorem Bitvec.ofFin_le_ofFin_of_le

Modification history

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