Corollary 1
Tag 0CDB, permanent. Cite it as [Bourbaki, Tag 0CDB].
General Topology, chapter X, § 3. Special function spaces
Let be a set and a metric space. Then is closed in . In particular, if is complete then is complete with respect to the uniformity of -convergence.
For is the inverse image of the subset of the product under the canonical mapping of into ; the first assertion therefore follows from § 1, no. 2, Remark 3, and the second follows from the first, if we take account of Theorem 1 of § 1, no. 5.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.