Example 1
Tag 0BNB, permanent. Cite it as [Bourbaki, Tag 0BNB].
General Topology, chapter III, § 6. Topological groups with operators; topological rings division rings and fields
On any ring A, the discrete topology is compatible with the ring structure. A topological ring whose topology is discrete is called a discrete ring.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.