Definition 2

Tag 06CW, permanent. Cite it as [Bourbaki, Tag 06CW].

If $x \in M$ , the element $x \otimes x \otimes \ldots \otimes x$ of $\mathbf{TS}^k(M)$ is denoted by $\gamma_k(x)$ .

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

Cited by

Nothing.

Nothing.