All.lean
Nyll.ProCGroups.ProP.Fox.All
0 declarations indexed from sourceView source ↗
Module documentation
Filtered Fox calculus for pro-p presentations
Reader-facing facade for completed Fox rows and their filtration.
Filtered Fox aggregate
Imports every maintained completed and filtered Fox leaf.
Imports19
- Nyll.ProCGroups.ProP.Fox.ClosedSpan
- Nyll.ProCGroups.ProP.Fox.CoefficientReduction
- Nyll.ProCGroups.ProP.Fox.CoefficientReductionCompatibility
- Nyll.ProCGroups.ProP.Fox.CompletedFiltration
- Nyll.ProCGroups.ProP.Fox.CompletedLeibniz
- Nyll.ProCGroups.ProP.Fox.CompletedOperator
- Nyll.ProCGroups.ProP.Fox.CompletedOperatorCompatibility
- Nyll.ProCGroups.ProP.Fox.Derivative
- Nyll.ProCGroups.ProP.Fox.FiltrationDrop
- Nyll.ProCGroups.ProP.Fox.ModPBoundary
- Nyll.ProCGroups.ProP.Fox.ModPDensityExactness
- Nyll.ProCGroups.ProP.Fox.ModPDisplayedSpan
- Nyll.ProCGroups.ProP.Fox.ModPFilteredExactness
- Nyll.ProCGroups.ProP.Fox.ModPFilteredLifting
- Nyll.ProCGroups.ProP.Fox.ModPFiniteStage
- Nyll.ProCGroups.ProP.Fox.ModPGroupDerivative
- Nyll.ProCGroups.ProP.Fox.ModPStageProjection
- Nyll.ProCGroups.ProP.Fox.ModPTailExactness
- Nyll.ProCGroups.ProP.Fox.Rows
Imported by1
This module has no indexed declarations. Its imports and full source are available here.