P
Initializing...
Proposition 1.33 (lifting criterion): $f$ lifts iff $f_*\pi_1(Y,y_0)\subseteq p_*\pi_1(\tilde X,\tilde x_0)$ · Prove2Me