Yamaguchi Lean 4 Library
Source: ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal
ProCGroups/FoxDifferential/Completed/ProCIntegerCoefficients/AugmentationIdeal/Source

Source: ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal

1import ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.Basic
2import ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.Closure
3import ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.FiniteStage
4import ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.AugmentationIdeal.Kernel
6/-!
7# Fox differential: completed — \(\mathbb{Z}_C\) coefficients — augmentation ideal
9This aggregate re-exports the following parts of the Fox differential API:
11- `Completed.ProCIntegerCoefficients.AugmentationIdeal.Basic`
12- `Completed.ProCIntegerCoefficients.AugmentationIdeal.Closure`
13- `Completed.ProCIntegerCoefficients.AugmentationIdeal.FiniteStage`
14- `Completed.ProCIntegerCoefficients.AugmentationIdeal.Kernel`
15-/