Theorem Matrix.conjTranspose_rat_smul

Modification history