Theorem Matrix.isHermitian_diagonal_iff

Modification history