P

Initializing...

Proposition 1.39 (final clause): for the universal cover, $G(\tilde X)\cong\pi_1(X)$ · Prove2Me