Source: ProCGroups.FiniteStepSolvableQuotients.AbelianActions
1import ProCGroups.FiniteStepSolvableQuotients.AbelianActions.Faithful
2import ProCGroups.FiniteStepSolvableQuotients.AbelianActions.SlimnessAndTorsion
4/-!
5# Abelianization actions
7This aggregate module exposes faithfulness properties of conjugation actions on topological
8abelianizations and their consequences for slimness and torsion.
9-/