Source: cirosantilli/spectral-theorem
= Spectral theorem
{wiki}
* https://math.stackexchange.com/questions/1557878/do-infinite-dimensional-hermitian-operators-admit-a-complete-basis-of-eigenvecto
* https://mathoverflow.net/questions/45426/diagonalization-of-infinite-hermitian-matrices