Corollary

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

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

0 \longrightarrow \operatorname{Hom}_A(M, N') \xrightarrow{\operatorname{Hom}(1,u)} \operatorname{Hom}_A(M, N) \xrightarrow{\operatorname{Hom}(1,v)} \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.