Theorem Matrix.one_vecMul

Modification history

2025-01-27 17:00
Mathlib/Data/Matrix/Mul.lean
refactor: unapply matrix lemmas (#21091) …
Added Matrix.one_vecMulView on Github →