Remark 3
Tag 0CAV, permanent. Cite it as [Bourbaki, Tag 0CAV].
General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence
The uniformity of -convergence is the inverse image, under the mapping of into , of the uniformity of this product space (Chapter II, § 2, no. 6, Proposition 8). If is a covering of , this mapping is injective and is therefore isomorphic to the uniform subspace of which is the image of this mapping.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.