Theorem Matrix.adjugate_smul

Modification history