Example 2
Tag 0BHA, permanent. Cite it as [Bourbaki, Tag 0BHA].
General Topology, chapter III, § 1. Topologies on groups
\* In Chapter IV we shall see that the topology of the rational line Q (resp. the real line R) is compatible with the additive group structure of Q (resp. R).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.