Corollary
Tag 01XC, permanent. Cite it as [Bourbaki, Tag 01XC].
Topologie algébrique, chapter III, § 2. Homotopie et chemins
Soit X a topological space locally connected by arcs and let be a point of X. The mapping of into X is open.
According to the proposition, the mapping defined by is open and one has . Consequently, the mapping deduced from is open (TG, I, p. 30, prop. 2), as is its composite with the second projection pr.
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.