Corollary
Tag 0ED8, permanent. Cite it as [Bourbaki, Tag 0ED8].
General Topology, chapter IX, Appendix 1. Espaces de Lindelöf
Every regular sublinian space is paracompact (and in particular normal (IX, p. 49, prop. 4) and a fortiori completely regular).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.