Slightly extend MinimalGeneratingSet
for groups
#1755
Merged
MinimalGeneratingSet
for groups
#1755