Remark
Tag 0B7V, permanent. Cite it as [Bourbaki, Tag 0B7V].
General Topology, chapter I, § 9. Compact spaces and locally compact spaces
Quasi-compact (non-Hausdorff) spaces are of use mainly in applications of topology to algebraic geometry and are seldom featured in other mathematical theories, where on the contrary compact spaces play an important role.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.