Loading paper
Semicontinuity of the spectrum at infinity | Tomesphere