Theorem LinearMap.polyCharpoly_map_eq_charpoly

Modification history

2024-04-23 08:03
Mathlib/Algebra/Module/LinearMap/Polynomial.lean
fix(Algebra/Module/LinearMap/Polynomial): fix name of polyCharpoly_coeff_map (#12356) …
Added LinearMap.polyCharpoly_map_eq_charpolyView on Github →