Theorem Matrix.conjTranspose_inv_ofNat_smul

Modification history