DIAGONALIZATIONS

Definition of DIAGONALIZATIONS