Remarks
Tag 0EEQ, permanent. Cite it as [Bourbaki, Tag 0EEQ].
Algebra, chapter X, § 9. Complexes de Koszul
1) \* The above remains valid when is projective of rank . \*
2) Since is free of rank , is isomorphic to , and we have non-canonical isomorphisms .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.