ThmDex – An index of mathematical definitions, results, and conjectures.
Eigenvalues of a hermitian complex matrix are real-valued
Subresults
▶ R5085: Eigenvalues of a symmetric real matrix are real-valued