Theorem Matrix.StdBasisMatrix.diag_eq_of_commute_stdBasisMatrix

Modification history