Source: ProCGroups.FoxDifferential.Completed.Continuous.Free
1import ProCGroups.FoxDifferential.Completed.Continuous.Free.DiscreteGenerators
2import ProCGroups.FoxDifferential.Completed.Continuous.Free.Rules
4/-!
5# Fox differential: completed — continuous — free
7This aggregate re-exports the following parts of the Fox differential API:
9- `Completed.Continuous.Free.DiscreteGenerators`
10- `Completed.Continuous.Free.Rules`
11-/