Theorem Matrix.inv_smul

Modification history