Lasry-Lions regularization and a Lemma of Ilmanen.

link: http://arxiv.org/abs/1001.3129
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.