Corollary
Tag 0BTM, permanent. Cite it as [Bourbaki, Tag 0BTM].
General Topology, chapter IV, § 7. Infinite sums and products of real numbers
The product [resp. ] of numbers (resp. and ) is equal to (resp. 0) if and only if .
For if is finite then and are in , and conversely (no. 4, Theorem 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.