Theorem Matrix.diag_eq_of_commute_single

Modification history