A group module

Detailed description.

Modules

module A subgroup deprecated since 2019.11