Remark

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

Commutative Algebra, chapter VII, § 2. Dedekind domains

This proof does not assume that $A$ is commutative.

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

Cited by

Nothing.

Nothing.