Yamaguchi Lean 4 Library
Source: ProCGroups.FoxDifferential.Completed.CoefficientRings
ProCGroups/FoxDifferential/Completed/CoefficientRings/Source

Source: ProCGroups.FoxDifferential.Completed.CoefficientRings

1import ProCGroups.FoxDifferential.Completed.CoefficientRings.AugmentationIdealPrimePower
2import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebra
3import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN
4import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraPrimePower
6/-!
7# Fox differential: completed — coefficient rings
9This aggregate re-exports the following parts of the Fox differential API:
11- `Completed.CoefficientRings.AugmentationIdealPrimePower`
12- `Completed.CoefficientRings.CompletedGroupAlgebra`
13- `Completed.CoefficientRings.CompletedGroupAlgebraModN`
14- `Completed.CoefficientRings.CompletedGroupAlgebraPrimePower`
15-/