P

Initializing...

Theorem 1.38 (classification of covering spaces): path-connected covering spaces $\leftrightarrow$ subgroups of $\pi_1(X,x_0)$, up to conjugacy when basepoints are ignored · Prove2Me