Corollary
Tag 0C9A, permanent. Cite it as [Bourbaki, Tag 0C9A].
General Topology, chapter IX, § 6. Polish spaces, Souslin spaces, Borel sets
If f is a continuous injective mapping of a Lusin space (or, in particular, a Polish space) X into a metrizable space Y, then f(X) is a Borel set in Y.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.