Corollary
Tag 0CB3, permanent. Cite it as [Bourbaki, Tag 0CB3].
General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence
Let be a set, let be a family of uniform spaces and let be a set of subsets of . If we endow with the product uniformity, the canonical bijection of the uniform space onto the product uniform space (Set Theory, R, § 4, no. 13) is an isomorphism.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.