Remark 1
Tag 0DZU, permanent. Cite it as [Bourbaki, Tag 0DZU].
Algebra, chapter X, § 7. Produit de composition
If the ring is Noetherian, and if the -modules and are of finite type, it follows from the proof of a) that every element of is the class associated with an exact sequence where the are of finite type.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.