Endomorphism/Polynomial/Eigenvector/Fact/Proof
Appearance
Proof
We have
This implies the statement, since the assignment is compatible with addition and scalar multiplication.
We have
This implies the statement, since the assignment is compatible with addition and scalar multiplication.