Theorem Matrix.inv_smul'

Modification history