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