Source: ProCGroups.FreeProC.Criteria

1import ProCGroups.FreeProC.Criteria.InverseLimitsAndFiniteSubsets

3/-!

4# Pro C Groups / Free pro-C / Criteria

6This is the aggregate import for inverse-limit and finite-subset criteria for

7free pro-\(C\) groups.

8-/