Commit 2024-09-27 14:37 7abd6983
View on Github →feat: some lemmas on permutation (#9359) This PR prepares the way to PR #17046 and #17047 which compute the centralizer of a permutation in a permutation group and in the alternating group.
feat: some lemmas on permutation (#9359) This PR prepares the way to PR #17046 and #17047 which compute the centralizer of a permutation in a permutation group and in the alternating group.