Mathematical Components Library on finite groups

This library contains definitions and theorems about finite groups,
group quotients, group morphisms, group presentation, group action...