Example 3

Tag 0C71, permanent. Cite it as [Bourbaki, Tag 0C71].

General Topology, chapter IX, § 5. Baire spaces

In the space $\mathbf{R}^n$ , every linear subspace of dimension $p < n$ is a nowhere dense set (Chapter VI, § 1, no. 4, Proposition 2).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.