Corollary 1
Tag 04S7, permanent. Cite it as [Bourbaki, Tag 04S7].
Commutative Algebra, chapter VI, § 1. Valuation rings
Every valuation ring is integrally closed.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.