Corollary
Tag 01RU, permanent. Cite it as [Bourbaki, Tag 01RU].
Topologie algébrique, chapter I, § 6. Espaces simplement connexes
Let B be a locally connected topological space. Let be a point of B and let be a universal covering of . For a subspace A of B, the following two properties are equivalent:
(i) The covering E is trivializable over A;
(ii) Every covering of B is trivializable over A.
Property (ii) obviously implies property (i). The converse follows from the fact that every covering of B can be associated with the covering E (I, p. 105, Proposition 7).
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.