Remark
Tag 061N, permanent. Cite it as [Bourbaki, Tag 061N].
Algebra, chapter III, § 5. Tensor algebra. Tensors
Note in particular that the hypotheses of Proposition 4 always hold for arbitrary submodules of when is a field (II, § 7, no. 3, Proposition 4). Moreover, if and , then for all , since if is a complement of in , then by (4) and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.