MDLD/minimal polynomial (linear)

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