Loading paper
Generalized version of the Lions-type lemma | Tomesphere