Source: ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower
1import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Augmentation
2import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Basic
3import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Coeff
4import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.InClass
5import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Module
6import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.System
8/-!
9# Fox differential: completed — coefficient rings — prime-power completed group algebra
11This aggregate re-exports the following parts of the Fox differential API:
13- `Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Augmentation`
14- `Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Basic`
15- `Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Coeff`
16- `Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.InClass`
17- `Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.Module`
18- `Completed.CoefficientRings.CompletedGroupAlgebraPrimePower.System`
19-/