Remark
Tag 0C0Y, permanent. Cite it as [Bourbaki, Tag 0C0Y].
General Topology, chapter VIII, § 4. Complex number spaces and projective spaces
Most of the properties common to the real and complex number spaces (resp. projective spaces) are also valid for number spaces (resp. projective spaces) defined in the same way over the division ring of quaternions ; indeed, they are capable of extension to many other topological fields and division rings (cf. Exercises 2 and 6).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.