Corollary 2
Tag 0BK4, permanent. Cite it as [Bourbaki, Tag 0BK4].
General Topology, chapter III, § 3. Uniform structures on groups
Every locally compact subgroup of a Hausdorff topological group is closed in .
For every complete subspace of a Hausdorff uniform space is closed (Chapter II, , no. 4, Proposition 8)
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.