Theorem matPolyEquiv_eq_X_pow_sub_C

Modification history

2025-03-20 16:17
Mathlib/LinearAlgebra/Matrix/Charpoly/Coeff.lean
feat: generalize Mathlib.LinearAlgebra.Matrix (#23144) …
Modified matPolyEquiv_eq_X_pow_sub_CView on Github →
2024-02-15 16:15
Mathlib/LinearAlgebra/Matrix/Charpoly/Coeff.lean
chore(LinearAlgebra/Matrix/Charpoly): place more decls in Matrix namespace (#10488)
Added matPolyEquiv_eq_X_pow_sub_CView on Github →