Lasry-Lions regularization and a Lemma of Ilmanen

Abstract

We provide a full self-contained proof of a famous Lemma of Ilmanen. This proof is based on a regularisation procedure similar to Lasry-Lions regularisation.