Source: ProCGroups.FoxDifferential.Completed.Comparison

1import ProCGroups.FoxDifferential.Completed.Comparison.DiscreteCompletion

2import ProCGroups.FoxDifferential.Completed.Comparison.FiniteStage

3import ProCGroups.FoxDifferential.Completed.Comparison.QuotientFamily

4import ProCGroups.FoxDifferential.Completed.Comparison.SourceProjection

5import ProCGroups.FoxDifferential.Completed.Comparison.MagnusKernel

7/-!

8# Fox differential: completed — comparison

10This aggregate re-exports the following parts of the Fox differential API:

12- `Completed.Comparison.DiscreteCompletion`

13- `Completed.Comparison.FiniteStage`

14- `Completed.Comparison.QuotientFamily`

15- `Completed.Comparison.SourceProjection`

16- `Completed.Comparison.MagnusKernel`