All.lean
Nyll.ProCGroups.ProC.All
0 declarations indexed from sourceView source ↗
Module documentation
Pro C Groups / Pro C
This module formalizes the category and quotient theory of pro-\(C\) groups.
Imports10
- Nyll.ProCGroups.ProC.Category.All
- Nyll.ProCGroups.ProC.GroupPredicates.All
- Nyll.ProCGroups.ProC.InverseLimits.All
- Nyll.ProCGroups.ProC.Kernels
- Nyll.ProCGroups.ProC.MaximalQuotients.All
- Nyll.ProCGroups.ProC.OpenNormalSubgroups.All
- Nyll.ProCGroups.ProC.Quotients.All
- Nyll.ProCGroups.ProC.Subgroups.All
- Nyll.ProCGroups.ProC.PrimeSeparation
- Nyll.ProCGroups.ProC.ProPOfFiniteEmbedding
Imported by1
This module has no indexed declarations. Its imports and full source are available here.