Theorem Matrix.conjTranspose_inv_intCast_smul

Modification history