Definition, synonyms and related words
a theorem providing conditions under which an operator or matrix can be diagonalized