Proposition 1.31 (second part): $p_*\pi_1(\tilde X,\tilde x_0)$ consists of the loops whose lifts at $\tilde x_0$ are loops

Initializing...

Proposition 1.31 (second part): $p_*\pi_1(\tilde X,\tilde x_0)$ consists of the loops whose lifts at $\tilde x_0$ are loops · Prove2Me