Page "Spectral theorem#Unbounded self-adjoint operators" not found :(