Theorem Matrix.conjTranspose_inj

Modification history