Corollary 4

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

If P is a projective module (resp. a finitely generated projective module) the canonical mapping $c_P : P \to P**$ is injective (resp. bijective).

We shall use the following lemma:

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

Cited by

Nothing.