Source: ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower

1import ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower.Additive

2import ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower.Augmentation

3import ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower.LimitEquiv

4import ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower.Module

5import ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower.Stage

6import ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower.SubtypeLinear

8/-!

9# Fox differential: completed — coefficient rings — prime-power augmentation ideal

11This aggregate re-exports the following parts of the Fox differential API:

13- `Completed.CoefficientRings.AugmentationIdealPrimePower.Additive`

14- `Completed.CoefficientRings.AugmentationIdealPrimePower.Augmentation`

15- `Completed.CoefficientRings.AugmentationIdealPrimePower.LimitEquiv`

16- `Completed.CoefficientRings.AugmentationIdealPrimePower.Module`

17- `Completed.CoefficientRings.AugmentationIdealPrimePower.Stage`

18- `Completed.CoefficientRings.AugmentationIdealPrimePower.SubtypeLinear`