Source: ProCGroups.ProC.InverseLimits
1import ProCGroups.ProC.InverseLimits.FiniteQuotients
2import ProCGroups.ProC.InverseLimits.Limits
3import ProCGroups.ProC.InverseLimits.Predicates
5/-!
6# Inverse-limit constructions for pro-\(C\) groups
8This aggregate exports finite pro-\(C\) quotient objects, inverse-limit models and quotient
9constructions, and standard predicates defined by the finite quotients in an open-normal basis.
10-/