Yamaguchi Lean 4 Library
Homepage
Source: ProCGroups.FoxDifferential.Discrete.DifferentialModule
ProCGroups
/
FoxDifferential
/
Discrete
/
DifferentialModule
/
Source
Source: ProCGroups.FoxDifferential.Discrete.DifferentialModule
1
import
ProCGroups.FoxDifferential.Discrete.DifferentialModule.Boundary
2
3
/-!
4
# Fox differential: discrete — differential module
5
6
This aggregate re-exports the following parts of the Fox differential API:
7
8
- `Discrete.DifferentialModule.Boundary`
9
-/