Corollary
Tag 0BP6, permanent. Cite it as [Bourbaki, Tag 0BP6].
General Topology, chapter IV, § 1. Definition of real numbers
Every point of the real line has a countable fundamental system of neighbourhoods.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.