Source: ProCGroups.InverseSystems
1import ProCGroups.InverseSystems.CategoricalLimits
2import ProCGroups.InverseSystems.CountableModels
3import ProCGroups.InverseSystems.Exactness
4import ProCGroups.InverseSystems.FiniteStageFactorization
5import ProCGroups.InverseSystems.ProfiniteLimits
6import ProCGroups.InverseSystems.ProjectionImageSystems
7import ProCGroups.InverseSystems.Quotients
8import ProCGroups.InverseSystems.StagewiseIso
10/-!
11# Inverse systems
13This aggregate module exposes inverse systems of topological groups, categorical and profinite
14limits, exactness and factorization results, quotient systems, and stagewise comparison
15isomorphisms.
16-/