Video

Let $p: E \to B$ be a Covering, with $p(e_0) = b_0$. Then any path $f: [0,1] \to B$, with initial $f(0) = b_0$, has a unique lifting to a path $\tilde{f}: [0,1] \to E$ such that $\tilde{f}(0) = e_0$.

Proof.