Theorem Matrix.conjTranspose_ofNat_smul

Modification history