Corollary
Tag 0CE2, permanent. Cite it as [Bourbaki, Tag 0CE2].
General Topology, chapter X, § 3. Special function spaces
Let be a group of homeomorphisms of a locally compact space . If the closure of in is compact, then is a group of homeomorphisms of , and the topology of compact convergence is compatible with the group structure of , which is therefore a compact topological group.
A group of homeomorphisms of a locally compact space which is locally compact but not compact with respect to the topology of compact convergence is locally closed in by virtue of Chapter I, § 9, no. 7, Proposition 12, but is not necessarily closed.
For example, in the ring of endomorphisms of , identified with the ring of square matrices over and endowed with the topology of compact convergence, the group , identified with the group of non-singular matrices, is locally compact but dense (Chapter VI, § 1, no. 6, Proposition 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.