Remark 1
Tag 0DY3, permanent. Cite it as [Bourbaki, Tag 0DY3].
Algebra, chapter X, § 6. Utilisation de résolutions non canoniques
Using the commutation isomorphisms, one deduces from a) the analogous statement obtained by exchanging the roles of the two arguments of the tensor product.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.