TY - RPRT TI - Four proofs of cocompacness for Sobolev embeddings AU - Cyril Tintarev PY - 2016 UR - https://arxiv.org/abs/1601.04873 ID - 1601.04873 ER -