All.lean
Nyll.ProCGroups.All
0 declarations indexed from sourceView source ↗
Module documentation
Profinite and pro-C groups
Profinite and pro-C groups, finite quotients, inverse limits, free products and presentations. Includes completed group algebras, Fox differentials and relation-theoretic constructions.
Imports33
- Nyll.ProCGroups.InducedFunctions
- Nyll.ProCGroups.InducedSemidirect
- Nyll.ProCGroups.Abelian.All
- Nyll.ProCGroups.Boundary.All
- Nyll.ProCGroups.Categorical.All
- Nyll.ProCGroups.Cohomology.All
- Nyll.ProCGroups.CompletedGroupAlgebra.All
- Nyll.ProCGroups.Completion.All
- Nyll.ProCGroups.CrowellExactSequence.All
- Nyll.ProCGroups.Duality
- Nyll.ProCGroups.FiniteGeneration.All
- Nyll.ProCGroups.FiniteGroups.All
- Nyll.ProCGroups.FiniteStepSolvableQuotients.All
- Nyll.ProCGroups.FoxDifferential.All
- Nyll.ProCGroups.Frattini
- Nyll.ProCGroups.FreeConstructions.All
- Nyll.ProCGroups.FreeProC.All
- Nyll.ProCGroups.FreeProducts.All
- Nyll.ProCGroups.Generation.All
- Nyll.ProCGroups.GolodShafarevich.All
- Nyll.ProCGroups.GroupTheory.All
- Nyll.ProCGroups.InverseSystems.All
- Nyll.ProCGroups.LocalWeight.All
- Nyll.ProCGroups.NormalSubgroups.All
- Nyll.ProCGroups.Order.All
- Nyll.ProCGroups.Presentations.All
- Nyll.ProCGroups.ProC.All
- Nyll.ProCGroups.ProP.All
- Nyll.ProCGroups.Profinite.All
- Nyll.ProCGroups.ReidemeisterSchreier.All
- Nyll.ProCGroups.TopologicalGroups
- Nyll.ProCGroups.Topologies.All
- Nyll.ProCGroups.WreathProducts
Imported by1
This module has no indexed declarations. Its imports and full source are available here.