Source: ProCGroups.Completion
1import ProCGroups.Completion.FiniteQuotientLifts
2import ProCGroups.Completion.ProCInteger
3import ProCGroups.Completion.ProCIntegerPrimePower
4import ProCGroups.Completion.SameFiniteQuotients
5import ProCGroups.Completion.UniversalProperty
7/-!
8# Pro C Groups / Completion
10This is the aggregate import for pro-\(C\) completion universal properties,
11finite-quotient lifting, pro-\(C\) integers, and finite-quotient comparison.
12-/