Theorem Matrix.conjTranspose_eq_zero

Modification history