Source: ProCGroups.FoxDifferential.Discrete
1import ProCGroups.FoxDifferential.Discrete.Absolute
2import ProCGroups.FoxDifferential.Discrete.DifferentialModule
3import ProCGroups.FoxDifferential.Discrete.FoxCalculus
4import ProCGroups.FoxDifferential.Discrete.FreeExpansion
5import ProCGroups.FoxDifferential.Discrete.GroupRing
6import ProCGroups.FoxDifferential.Discrete.Jacobian
7import ProCGroups.FoxDifferential.Discrete.KernelBoundary
8import ProCGroups.FoxDifferential.Discrete.Naturality
10/-!
11# Fox Differential / Discrete
13This module formalizes the discrete Fox calculus.
14-/