mathlib

20981bee - feat(linear_algebra/charpoly): add linear_map.charpoly (#9279)

feat(linear_algebra/charpoly): add linear_map.charpoly (#9279) We add `linear_map.charpoly`, the characteristic polynomial of an endomorphism of a finite free module, and a basic API.