Distinct eigenvalues imply diagonalizability (source code)

= Distinct eigenvalues imply diagonalizability

Eigenvectors belonging to distinct eigenvalues are linearly independent. Consequently, an $n$-dimensional operator with $n$ distinct eigenvalues is diagonalizable.