Theorem Matrix.conjTranspose_inv_natCast_smul

Modification history