Theorem Matrix.diag_eq_of_commute_stdBasisMatrix

Modification history