Proposition 7
Tag 0BE2, permanent. Cite it as [Bourbaki, Tag 0BE2].
General Topology, chapter II, § 2. Uniformly continuous functions
Let be a mapping of a uniform space into a product uniform space . Then is uniformly continuous if and only if each is uniformly continuous.
Since , this is a particular case of Proposition 4 of no. 3.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.