Corollary 2
Tag 0CBH, permanent. Cite it as [Bourbaki, Tag 0CBH].
General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence
Let be a topological space, a set of subsets of , and a uniform space. Let denote the set of all mappings of into whose restriction to each set of is continuous. Then is a closed subspace of the uniform space and is complete if is complete.
Suppose that lies in the closure of in ; then (no. 2), for each , lies in the closure of in , and is therefore continuous by Theorem 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.