Theorem Matrix.inv_denom_smul_num

Modification history