Add EnumeratorOfPartitionsSet enumerator#6384

reiniscirpons wants to merge 3 commits intogap-system:mastergap-system/gap:masterfrom

reiniscirpons:add-more-enumeratorsreiniscirpons/gap:add-more-enumeratorsCopy head branch name to clipboard