Corollary 1
Tag 0CC6, permanent. Cite it as [Bourbaki, Tag 0CC6].
General Topology, chapter X, § 2. Equicontinuous sets
Let be a topological (resp. uniform) space, a uniform space and a subset of . For each , let denote the mapping of into . Then is equicontinuous at (resp. uniformly equicontinuous) if and only if the mapping of into the uniform space is continuous at (resp. uniformly continuous).
In particular, if is compact, every continuous mapping of into is uniformly continuous (Chapter II, § 4, no. 1, Theorem 2). Therefore:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.