Hermitian matrices have real eigenvalues.

Created almost 9 years ago, updated 4 months ago