Library mathcomp.character.all_character

Require Export character.
Require Export classfun.
Require Export inertia.
Require Export integral_char.
Require Export mxabelem.
Require Export mxrepresentation.
Require Export vcharacter.