Corollary 1
Tag 0CYO, permanent. Cite it as [Bourbaki, Tag 0CYO].
Commutative Algebra, chapter IX, § 4. Fermeture intégrale d'un anneau local complet
The completion of a local reduced Nagata ring is reduced. It is enough, in fact, to put R = A in Th. 3, (iii).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.