Mathlib Changelog
v4
Changelog
About
Github
Theorem
Bitvec.bits_toNat_decide
Modification history
2023-11-29 12:22
Mathlib/Data/Bitvec/Lemmas.lean
refactor: replace Bitvec with Std.BitVec (#5920) …
Deleted
Bitvec.bits_toNat_decide
View on Github →
2023-06-10 10:48
Mathlib/Data/Bitvec/Defs.lean
refactor: Defs and Lemmas files for Bitvec (#4899) …
Modified
Bitvec.bits_toNat_decide
View on Github →
2023-01-25 09:35
Mathlib/Data/Bitvec/Core.lean
feat: port data.bitvec.core (#1731)
Added
Bitvec.bits_toNat_decide
View on Github →