Theorem Matrix.StdBasisMatrix.row_eq_zero_of_commute_stdBasisMatrix

Modification history