path: root/mathcomp/fingroup/descr

Mathematical Components Library on finite groups

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