Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.aeval_endomorphism

Modification history

2020-09-17 14:29
src/data/polynomial/algebra_map.lean
feat(linear_algebra/eigenspace): beginning to relate minimal polynomials to eigenvalues (#4165) …
Added polynomial.aeval_endomorphismView on Github →