math.la.t.mat.scalar.mult.commut_assoc
Definition of sum of matrices, product of a scalar and a matrix
Associative and distributive properties of matrix multiplication and addition; multiplication by the identity matrix; definition of the transpose of a matrix; transpose of the transpose, transpose of a sum, transpose of a product