Corollary
Tag 0763, permanent. Cite it as [Bourbaki, Tag 0763].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
— In the notation of Prop. 7, the dimension of the subspace is the multiplicity of the eigenvalue as a root of the characteristic polynomial of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.