All.lean
Nyll.ProCGroups.ProP.Presentation.All
0 declarations indexed from sourceView source ↗
Module documentation
Finite pro-p presentations
Reader-facing facade for finite minimal pro-p presentations.
Pro-p presentation aggregate
Imports every maintained finite pro-p presentation leaf.
Imports8
- Nyll.ProCGroups.ProP.Presentation.FiniteGeneration
- Nyll.ProCGroups.ProP.Presentation.Basic
- Nyll.ProCGroups.ProP.Presentation.GeneratorRank
- Nyll.ProCGroups.ProP.Presentation.InitialForm
- Nyll.ProCGroups.ProP.Presentation.Minimal
- Nyll.ProCGroups.ProP.Presentation.RelationCardinal
- Nyll.ProCGroups.ProP.Presentation.RelationNakayama
- Nyll.ProCGroups.ProP.Presentation.RelatorDepth
Imported by1
This module has no indexed declarations. Its imports and full source are available here.