Distinct eigenvalues of a Hermitian matrix have orthogonal eigenvectors.

Created almost 9 years ago

Put content here.