Theorem Matrix.diag_single_of_ne

Modification history