Theorem Matrix.cramer_smul

Modification history