Commit 2025-11-20 16:02 f7442dd8
View on Github →feat(GroupTheory/Perm/ClosureSwap): add slight generalization (#31570)
This PR adds a slight generalization of surjective_of_isSwap_of_isPretransitive that is needed to compute the Galois group of x^n - x - 1.