Theorem Matrix.diag_smul

Modification history