Theorem Matrix.blockDiag_smul

Modification history