Example 7

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

Commutative Algebra, chapter VIII, § 5. Anneaux locaux réguliers

Let $A$ be a regular local noetherian ring. We shall see later that the local noetherian ring $A_p$ is regular for every prime ideal $p$ of $A$ .

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

Cited by

Nothing.

Nothing.