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

Source: ProCGroups.FoxDifferential.Completed.Residue

1import ProCGroups.FoxDifferential.Completed.Residue.Core
2import ProCGroups.FoxDifferential.Completed.Residue.FreeGroup
4/-!
5# Fox differential: completed — residue
7This aggregate re-exports the following parts of the Fox differential API:
9- `Completed.Residue.Core`
10- `Completed.Residue.FreeGroup`
11-/