Remark 2
Tag 0CA5, permanent. Cite it as [Bourbaki, Tag 0CA5].
General Topology, chapter IX, Appendix 0. Infinite products in normed algebras
Definition 1 can be immediately generalized to the case of a family (x_n)_{n \in I} whose index set I is a subset of \mathbf{Z} (linearly ordered by the order induced by that of \mathbf{Z}). We leave it to the reader to extend to this case the results below (cf. Exercises 1 and 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.