Proposition 1.40(b): $G$ is the deck transformation group of $Y\to Y/G$ when $Y$ is path-connected

Initializing...

Proposition 1.40(b): $G$ is the deck transformation group of $Y\to Y/G$ when $Y$ is path-connected · Prove2Me