Theorem Matrix.isDiag_smul_one

Modification history