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