Endomorphism/Polynomial/Eigenvector/Fact/Proof

< Endomorphism < Polynomial < Eigenvector < Fact
Proof

We have

This implies the statement, since the assignment is compatible with addition and scalar multiplication.