MDLD/diagonalizable matrix (ev)

Start=diagonalizable matrix (ev) Target=Linear mapping/Diagonalizable/Eigenvectors/Definition