Aubin-Lions lemma
 
x
OK