Mathlib Changelog
v4
Changelog
About
Github
Theorem
Matrix.charpoly_sub_scalar
Modification history
2025-09-16 12:06
Mathlib/LinearAlgebra/Matrix/Charpoly/Basic.lean
feat: generalize `LinearMap.finrank_maxGenEigenspace` (#29428)
Added
Matrix.charpoly_sub_scalar
View on Github →