Theorem Matrix.conjTranspose_natCast_smul

Modification history