Template:Group control theorem

This theorem controls the abstract structure, as well as the concrete context of occurrence, of a group occurring in the following context: