Theorem BitVec.toFin_zsmul
Modification history
2025-08-04 10:55
Mathlib/Data/BitVec.lean
fix(Data/BitVec): remove a `SMul` instance diamond (#27581) …
Modified BitVec.toFin_zsmulView on Github →2025-07-04 07:44
Mathlib/Data/BitVec.lean
chore: further whitespace fixes (#26708) …
Modified BitVec.toFin_zsmulView on Github →