Remark
Tag 0C5O, permanent. Cite it as [Bourbaki, Tag 0C5O].
General Topology, chapter IX, § 4. Normal spaces
If is a normal space and if is a closed subset of , there exists also a continuous extension to of every continuous mapping of into a cube (§ 1, no. 5); for we have then being a continuous mapping of into the compact interval of ; since there exists a continuous mapping which extends , the mapping is a continuous extension of to .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.