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

Source: ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN

1import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.Augmentation
2import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.AugmentationIdeal
3import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.CoeffMap
4import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.InClass
5import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.System
7/-!
8# Fox differential: completed — coefficient rings — mod-\(n\) completed group algebra
10This aggregate re-exports the following parts of the Fox differential API:
12- `Completed.CoefficientRings.CompletedGroupAlgebraModN.Augmentation`
13- `Completed.CoefficientRings.CompletedGroupAlgebraModN.AugmentationIdeal`
14- `Completed.CoefficientRings.CompletedGroupAlgebraModN.CoeffMap`
15- `Completed.CoefficientRings.CompletedGroupAlgebraModN.InClass`
16- `Completed.CoefficientRings.CompletedGroupAlgebraModN.System`
17-/