Remark 3
Tag 0CBL, permanent. Cite it as [Bourbaki, Tag 0CBL].
General Topology, chapter X, § 1. The uniformity of $\mathscr{G}$-convergence
If is a uniform space, a proof analogous to that of Proposition 8 shows that the set of uniformly continuous mappings of into is closed in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.