Rename minimal_generating_set for groups to e.g. minimum_generating_set or minimal_size_generating_set?
#16979
| Job | Run time |
|---|---|
| 0s | |
| 0s |