ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Binary cartesian set product
Binary relation
Map
Action
Action space
Groupoid action space
Translation
Conjugation
Conjugate element
Conjugate matrix
Similar matrix
Definition D2095
Diagonalisable matrix
Children
D5676: Diagonalizable complex matrix