Algebra, X, p. 187
Let P be a complex of projective A-modules, zero on the right, and let n be an integer such that Hi(P)=0 for i<n. Let M be a left a-module, N a right a-module. Now prove that one has Hi(HomgrA(P,M))=0 and Hi(N⊗AP)=0 for i<n, and that the canonical homomorphisms
λn:Hn(HomgrA(P,M))→HomA(Hn(P),M),γn:N⊗AHn(P)→Hn(N⊗AP) are bijective.