Remark
Tag 04C7, permanent. Cite it as [Bourbaki, Tag 04C7].
Commutative Algebra, chapter II, § 5. Finitely generated projective modules. Invertible fractional ideals
The proof of (i) in Proposition 11 uses only the fact that is flat and non-degenerate.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.