Source: ProCGroups.Generation
1import ProCGroups.Generation.Basic
2import ProCGroups.Generation.Convergence
3import ProCGroups.Generation.GeneratorConvergingPairs
4import ProCGroups.Generation.QuotientCriteria
5import ProCGroups.Generation.QuotientGeneratorConvergingPairs
6import ProCGroups.Generation.WordProductsAndClosure
8/-!
9# Topological generation
11This aggregate imports the closure-based definition of topological generation,
12families converging to the identity, generator/convergence pairs, finite
13quotient criteria, and word-product closure results.
14-/