Theorem Matrix.conjTranspose_zero

Modification history