Corollary 3

Tag 050Z, permanent. Cite it as [Bourbaki, Tag 050Z].

Commutative Algebra, chapter VII, § 2. Dedekind domains

The integral closure of a Dedekind domain in a finite extension of its field of fractions is a Dedekind domain.

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

Cited by

Nothing.