Mathematical Components Library on character theory

This library contains definitions and theorems about group
representations, characters and class functions.