Mathematical Components Library on finite groups (II)

This library contains more definitions and theorems about finite groups.