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

Source: ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.FreeGroup

1import ProCGroups.FoxDifferential.Completed.ProCIntegerCoefficients.FreeGroup.Fundamental
3/-!
4# Fox differential: completed — \(\mathbb{Z}_C\) coefficients — free group
6This aggregate re-exports the following parts of the Fox differential API:
8- `Completed.ProCIntegerCoefficients.FreeGroup.Fundamental`
9-/