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.

Estimated changes