Loading paper
Compactness methods in Lieb's work | Tomesphere