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.
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.