Example 2
Tag 02RU, permanent. Cite it as [Bourbaki, Tag 02RU].
Théories spectrales, chapter III, § 3. Endomorphismes de Fredholm et endomorphismes de Riesz
If is a finite family of separated locally convex spaces and an element of for every in I, the endomorphism of the locally convex space is a Riesz endomorphism if and only if is one for every .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.