MDLD/diagonalizable endomorphism

Start=diagonalizable endomorphism Target=Linear mapping/Diagonalizable/Eigenvectors/Definition