Theorem Matrix.row_mul_eq_vecMul_row

Modification history

2026-09-08 16:08
Mathlib/Data/Matrix/Mul.lean
feat: supporting API for Cartan matrix realisations (#43460)
Added Matrix.row_mul_eq_vecMul_rowView on Github →