Theorem Matrix.conjTranspose_injective

Modification history