Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
matrix.minpoly_to_lin
Modification history
2023-05-19 07:37
src/linear_algebra/matrix/charpoly/minpoly.lean
feat(linear_algebra/matrix/charpoly/minpoly): `minpoly` is unaffected by `to_lin` and `to_matrix` (#19036)
Added
matrix.minpoly_to_lin
View on Github →