MDLD/minimal polynomial (matrix)

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