Yamaguchi Lean 4 Library
Source: ProCGroups.FoxDifferential.Discrete.FoxCalculus
ProCGroups/FoxDifferential/Discrete/FoxCalculus/Source

Source: ProCGroups.FoxDifferential.Discrete.FoxCalculus

1import ProCGroups.FoxDifferential.Discrete.FoxCalculus.Boundary
2import ProCGroups.FoxDifferential.Discrete.FoxCalculus.Coordinates
3import ProCGroups.FoxDifferential.Discrete.FoxCalculus.Derivative
4import ProCGroups.FoxDifferential.Discrete.FoxCalculus.Semidirect
5import ProCGroups.FoxDifferential.Discrete.FoxCalculus.Universal
7/-!
8# Fox differential: discrete — fox calculus
10This aggregate re-exports the following parts of the Fox differential API:
12- `Discrete.FoxCalculus.Boundary`
13- `Discrete.FoxCalculus.Coordinates`
14- `Discrete.FoxCalculus.Derivative`
15- `Discrete.FoxCalculus.Semidirect`
16- `Discrete.FoxCalculus.Universal`
17-/