Finite-dimensional spectral theorem (source code)

= Finite-dimensional spectral theorem

Every self-adjoint operator on a finite-dimensional real inner-product space has an orthonormal basis of eigenvectors and only real eigenvalues.