Atlas/Analysis/Inner products and operators
1/4
A self-adjoint operator is diagonal in an orthonormal basis of eigenvectors.