Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-29 03:57 9acf5903

View on Github →

feat(data/matrix/notation): smul matrix lemmas (#3208)

Estimated changes

added theorem matrix.smul_mat_cons
added theorem matrix.smul_mat_empty