P
Initializing...
Proposition 1.40(c): $G\cong\pi_1(Y/G)/p_*\pi_1(Y)$ · Prove2Me