Corollary 1
Tag 05Q1, permanent. Cite it as [Bourbaki, Tag 05Q1].
Algebra, chapter II, § 4. Relations between tensor products and homomorphism modules
If one of the modules E, F is projective and finitely generated, the canonical homomorphism (23) is bijective.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.