Corollary
Tag 0548, permanent. Cite it as [Bourbaki, Tag 0548].
Commutative Algebra, chapter VII, § 4. Modules over integrally closed Noetherian domains
The ring B is a reflexive A-module.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.