Mathlib Changelog
v4
Changelog
About
Github
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_1
View on Github →