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

Source: ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.System

1import ProCGroups.FoxDifferential.Completed.CoefficientRings.CompletedGroupAlgebraModN.System.CompletionMap
3/-!
4# Fox differential: completed — coefficient rings — mod-\(n\) completed group algebra — system
6This aggregate re-exports the following parts of the Fox differential API:
8- `Completed.CoefficientRings.CompletedGroupAlgebraModN.System.CompletionMap`
9-/