Mathlib Changelog
v4
Changelog
About
Github
Theorem
Matrix.row_mulVec_eq_const
Modification history
2024-12-20 12:30
Mathlib/Data/Matrix/RowCol.lean
chore: tidy various files (#17342)
Modified
Matrix.row_mulVec_eq_const
View on Github →
2024-09-30 08:52
Mathlib/Data/Matrix/RowCol.lean
chore(Data/Matrix): some trivial lemmas about `row` and `col` (#17243)
Added
Matrix.row_mulVec_eq_const
View on Github →