Theorem Matrix.IsHermitian.posSemidef_iff_eigenvalues_nonneg

Modification history