Source: ProCGroups.ProC.OpenNormalSubgroups

1import ProCGroups.ProC.OpenNormalSubgroups.Basic

2import ProCGroups.ProC.OpenNormalSubgroups.BasisAtOne

3import ProCGroups.ProC.OpenNormalSubgroups.ClosedAndCosets

4import ProCGroups.ProC.OpenNormalSubgroups.ClosedCommutator

5import ProCGroups.ProC.OpenNormalSubgroups.CountableChains

6import ProCGroups.ProC.OpenNormalSubgroups.FilteredFamilies

7import ProCGroups.ProC.OpenNormalSubgroups.LimitPresentation

8import ProCGroups.ProC.OpenNormalSubgroups.ProCGroup

9import ProCGroups.ProC.OpenNormalSubgroups.Separation

11/-!

12# Open normal subgroups of pro-\(C\) groups

14This aggregate collects the finite quotient, separation, basis, countable-chain, filtered-family,

15closed-commutator, and inverse-limit APIs built from open normal subgroups.