Example 1
Tag 0BNM, permanent. Cite it as [Bourbaki, Tag 0BNM].
General Topology, chapter III, § 6. Topological groups with operators; topological rings division rings and fields
On any division ring , the discrete topology is compatible with the division ring structure. A topological division ring whose topology is discrete is called a discrete division 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.