Corollary 1
Tag 0CA8, permanent. Cite it as [Bourbaki, Tag 0CA8].
General Topology, chapter IX, Appendix 0. Infinite products in normed algebras
If is a multipliable sequence whose product is a unit of , then .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.