Source: ProCGroups.ProC
1import ProCGroups.ProC.Category
2import ProCGroups.ProC.GroupPredicates
3import ProCGroups.ProC.InverseLimits
4import ProCGroups.ProC.Kernels
5import ProCGroups.ProC.MaximalQuotients
6import ProCGroups.ProC.OpenNormalSubgroups
7import ProCGroups.ProC.Quotients
8import ProCGroups.ProC.Subgroups
9import ProCGroups.Profinite
11/-!
12# Pro C Groups / Pro C
14This module formalizes the category and quotient theory of pro-\(C\) groups.
15-/