Commit 2024-11-06 17:23 5928e6ad

View on Github →

feat: several results on permutations, cycles, etc (#17046) These are basic results on permutations which will be useful for PR #17522 and #17047 which study the centralizer of a permutation.

Estimated changes