Yamaguchi Lean 4 Library
Source: ProCGroups.FoxDifferential.Completed.Continuous.Universal
ProCGroups/FoxDifferential/Completed/Continuous/Universal/Source

Source: ProCGroups.FoxDifferential.Completed.Continuous.Universal

1import ProCGroups.FoxDifferential.Completed.Continuous.Universal.AugmentationQuotient
2import ProCGroups.FoxDifferential.Completed.Continuous.Universal.Basic
3import ProCGroups.FoxDifferential.Completed.Continuous.Universal.FiniteStage
4import ProCGroups.FoxDifferential.Completed.Continuous.Universal.NaturalTopology
5import ProCGroups.FoxDifferential.Completed.Continuous.Universal.System
7/-!
8# Fox differential: completed — continuous — universal
10This aggregate re-exports the following parts of the Fox differential API:
12- `Completed.Continuous.Universal.AugmentationQuotient`
13- `Completed.Continuous.Universal.Basic`
14- `Completed.Continuous.Universal.FiniteStage`
15- `Completed.Continuous.Universal.NaturalTopology`
16- `Completed.Continuous.Universal.System`
17-/