Theorem Bitvec.ofNat_succ

Modification history

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