Theorem Matrix.IsHermitian.posDef_iff_eigenvalues_pos

Modification history