Corollary

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

If $\operatorname{Ext}_A^1(M'', N) = 0$ , the sequence

0 \longrightarrow \operatorname{Hom}_A(M'', N) \xrightarrow{\operatorname{Hom}(s, 1)} \operatorname{Hom}_A(M, N) \xrightarrow{\operatorname{Hom}(r, 1)} \operatorname{Hom}_A(M', N) \longrightarrow 0

is exact.

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

Cited by

Nothing.

Nothing.