Proposition 5

Tag 0DWW, permanent. Cite it as [Bourbaki, Tag 0DWW].

The $k$ -homomorphisms

\begin{aligned} &\varphi_M(N) : H(\operatorname{Homgr}_A(L(M), N)) \to \operatorname{Ext}_A(M, N) \\ &\text{and} \quad \overline{\varphi}_N(M) : H(\operatorname{Homgr}_A(M, I(N))) \to \operatorname{Ext}_A(M, N) \text{ are bijective}. \end{aligned}

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.