path: root/mathcomp/character/descr

Mathematical Components Library on character theory

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