Theorem Matrix.smul_vecMul

Modification history

2025-08-15 22:00
Mathlib/Data/Matrix/Mul.lean
refactor: tidy `mulVec` and `vecMul` lemmas about `•` (#28450) …
Added Matrix.smul_vecMulView on Github →