Source: ProCGroups.NormalSubgroups
1import ProCGroups.NormalSubgroups.MaximalIntersectionsAndSimpleRanks
2import ProCGroups.NormalSubgroups.SimpleQuotients
4/-!
5# Normal subgroups and simple quotients
7This aggregate module exposes the closed-normal-subgroup framework, maximal-normal-subgroup
8criteria, and finite-intersection and compactness results for simple quotients.
9-/