Corollary 1
Tag 0BF3, permanent. Cite it as [Bourbaki, Tag 0BF3].
General Topology, chapter II, § 3. Complete spaces
Let be an inverse system of sets indexed by a directed set which has a countable cofinal subset, and suppose that the are surjective. Then if , the canonical mapping is surjective for each .
Let each carry the discrete uniformity, and apply Theorem 1.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.