P
Initializing...
Proposition 1.31 (first part): $p_*:\pi_1(\tilde X,\tilde x_0)\to\pi_1(X,x_0)$ is injective · Prove2Me