Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
matrix.mul_vec_cons
Modification history
2021-02-01 09:10
src/data/matrix/notation.lean
chore(*): split some long lines (#5988)
Modified
matrix.mul_vec_cons
View on Github →
2020-05-12 15:37
src/data/matrix/notation.lean
feat(data/matrix): matrix and vector notation (#2656) …
Added
matrix.mul_vec_cons
View on Github →