Example 1

Tag 0BH9, permanent. Cite it as [Bourbaki, Tag 0BH9].

General Topology, chapter III, § 1. Topologies on groups

The discrete topology on a group G is compatible with the group structure. A topological group whose topology is discrete is called a discrete group.

Again, the coarsest topology (Chapter I, § 2, no. 2) on G is compatible with the group structure of G.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.