Aubin–Lions Compactness Lemma