Path Lifting Lemma

Let be a covering map, a path, then there is a unique st .

Proof

Homotopy Lifting Lemma applied to .