Path lifting lemma

Let be a cover, ,

1. Let be a path with . There exists a unique path lift () such that .

   Written another way, there is a unique path such that the following diagram commutes.

2. homotopies lift uniquely

Proof

todo