Corollary

Tag 05KW, permanent. Cite it as [Bourbaki, Tag 05KW].

Algebra, chapter II, § 1. Modules

If $M_2$ and $M_2'$ are two supplements of the same submodule $M_1$ of E, the set of ordered pairs $(x, x') \in M_2 \times M_2'$ such that $x - x' \in M_1$ is the graph of an isomorphism of $M_2$ onto $M_2'$ .

It is immediate that it is the graph of the composite isomorphism $M_2 \to E/M_1 \to M'_2$ .

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

Cited by

Definition 9, § 1
Lemma 4, § 2

Cites

Nothing.