Commit 2024-11-04 01:46 5e02448c
View on Github →feat(GroupTheory/Sylow): A p-subgroup with index indivisible by p is a Sylow p-subgroup (#18573) This PR adds a constructor for Sylow p-subgroups from p-subgroups with index indivisible by p.
feat(GroupTheory/Sylow): A p-subgroup with index indivisible by p is a Sylow p-subgroup (#18573) This PR adds a constructor for Sylow p-subgroups from p-subgroups with index indivisible by p.