Theorem LinearMap.charpoly_sub_smul

Modification history

2025-09-16 12:06
Mathlib/LinearAlgebra/Charpoly/Basic.lean
feat: generalize `LinearMap.finrank_maxGenEigenspace` (#29428)
Added LinearMap.charpoly_sub_smulView on Github →