Start=minimal polynomial (matrix) Target=Endomorphism/Finite-dimensional/Minimal polynomial/Definition