Theorem BitVec.toFin_pow

Modification history

2025-07-04 07:44
Mathlib/Data/BitVec.lean
chore: further whitespace fixes (#26708) …
Modified BitVec.toFin_powView on Github →
2025-05-02 23:00
Mathlib/Data/BitVec.lean
chore: bump toolchain to v4.20.0-rc2 (#24561)
Modified BitVec.toFin_powView on Github →
2024-05-31 15:10
Mathlib/Data/BitVec.lean
chore: remove most of the material on BitVec (#13286) …
Modified BitVec.toFin_powView on Github →
2024-03-05 04:47
Mathlib/Data/BitVec/Lemmas.lean
chore: move Mathlib to v4.7.0-rc1 (#11162) …
Added BitVec.toFin_powView on Github →