Redirecting to s/sp/spectral_theorem.html ...