Bourbaki

Exercise 7, § 3

General Topology, V, p. 17

Let GG be a locally compact nontrivial? Wait glossary: non discret -> nondiscrete? It says "non trivial" nontrivial, but "non discret" not listed. Need "nondiscrete". Continue.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.