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_scalarView on Github →