Theorem Matrix.mul_self_mul_conjTranspose_eq_zero

Modification history