Theorem Matrix.isDiag_conjTranspose_iff

Modification history