All.lean
Nyll.ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.All
0 declarations indexed from sourceView source ↗
Module documentation
Fox differential: completed — \(\mathbb{Z}_C\) coefficients — augmentation ideal
This aggregate re-exports the following parts of the Fox differential API:
Completed.ProCIntegerCoefficients.AugmentationIdeal.BasicCompleted.ProCIntegerCoefficients.AugmentationIdeal.ClosureCompleted.ProCIntegerCoefficients.AugmentationIdeal.FiniteStageCompleted.ProCIntegerCoefficients.AugmentationIdeal.Kernel
Imports4
- Nyll.ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.Basic
- Nyll.ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.Closure
- Nyll.ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.FiniteStage
- Nyll.ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.Kernel
This module has no indexed declarations. Its imports and full source are available here.