TY - RPRT TI - Compactness methods in Lieb's work AU - Julien Sabin PY - 2022 UR - https://arxiv.org/abs/2203.09779 ID - 2203.09779 ER -