Theorem Matrix.IsHermitian.posSemidef_of_eigenvalues_nonneg

Modification history