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