Source: ProCGroups.FiniteGeneration
1import ProCGroups.FiniteGeneration.Basic
2import ProCGroups.FiniteGeneration.CharacteristicChainsAndIndices
4/-!
5# Topological finite generation
7This aggregate module exposes the basic theory of topologically finitely generated groups,
8characteristic subgroup chains, and the associated finite-index bounds.
9-/