mathlib

7a6e6d8b - feat(group_theory/schur_zassenhaus): Prove the full Schur-Zassenhaus theorem (#10283)

feat(group_theory/schur_zassenhaus): Prove the full Schur-Zassenhaus theorem (#10283) Previously, the Schur-Zassenhaus theorem was only proved for abelian normal subgroups. This PR removes the abelian assumption. Co-authored-by: tb65536 <tb65536@users.noreply.github.com>