Rename minimal_generating_set for groups to e.g. minimum_generating_set or minimal_size_generating_set?
#16993
This job was skipped
Loading