Theorem Matrix.self_mul_conjTranspose_eq_zero

Modification history