Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
module.End.has_eigenvalue_of_has_generalized_eigenvalue
Modification history
2021-04-06 18:32
src/linear_algebra/eigenspace.lean
feat(linear_algebra/eigenspace): generalized eigenvalues are just eigenvalues (#7059)
Added
module.End.has_eigenvalue_of_has_generalized_eigenvalue
View on Github →