Corollary

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

Let $\sigma$ be a permutation of the set $I$ . Then the mapping $(x_i) \to (x_{\sigma(i)})$ is a homeomorphism of

\prod_{i \in I} X_i \text{ onto } \prod_{i \in I} X_{\sigma(i)}.

Take $K = I$ and $J_i = \{ \sigma(i) \}$ for each $i \in I$ in Proposition 2.

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

Cited by

Nothing.