Page "Compact operator on Hilbert space#Spectral theorem" not found :(