Theorem Matrix.conjTranspose_mul

Modification history