Source: ProCGroups.FreeProC
1import ProCGroups.FreeProC.Abelianization
2import ProCGroups.FreeProC.Basic
3import ProCGroups.FreeProC.FiniteBasis
4import ProCGroups.FreeProC.FiniteRankSourceData
5import ProCGroups.FreeProC.Universe
6import ProCGroups.FreeProC.CanonicalData
7import ProCGroups.FreeProC.Characterization
8import ProCGroups.FreeProC.Criteria
9import ProCGroups.FreeProC.FinitelyGenerated
10import ProCGroups.FreeProC.SolvableQuotients
12/-!
13# Free pro-`C` groups
15This aggregate module exposes the construction and universal property of free pro-`C` groups,
16finite-basis and finite-generation results, canonical source data, characterizations, and
17applications to abelian and solvable quotients.
18-/