Theorem Module.End.eigenspace_aeval_polynomial_degree_1

Modification history

2023-06-12 21:52
Mathlib/LinearAlgebra/Eigenspace/Minpoly.lean
feat: port LinearAlgebra.Eigenspace.Minpoly (#4861)
Added Module.End.eigenspace_aeval_polynomial_degree_1View on Github →