Theorem Matrix.conjTranspose_ratCast_smul

Modification history