Definition 2
Tag 02RR, permanent. Cite it as [Bourbaki, Tag 02RR].
Théories spectrales, chapter III, § 3. Endomorphismes de Fredholm et endomorphismes de Riesz
Let E be a separated locally convex space. A Riesz endomorphism of E means any Fredholm endomorphism of E whose nilspace is finite-dimensional and whose conilspace is of finite codimension.
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.