FoxDifferential/Discrete.lean
1import FoxDifferential.Discrete.Absolute
2import FoxDifferential.Discrete.DifferentialModule.Boundary
3import FoxDifferential.Discrete.FoxCalculus.Boundary
4import FoxDifferential.Discrete.FoxCalculus.Coordinates
5import FoxDifferential.Discrete.FoxCalculus.Derivative
6import FoxDifferential.Discrete.FoxCalculus.Semidirect
7import FoxDifferential.Discrete.FoxCalculus.Universal
8import FoxDifferential.Discrete.FreeExpansion
9import FoxDifferential.Discrete.Jacobian.Automorphism
10import FoxDifferential.Discrete.Naturality
11import FoxDifferential.Discrete.KernelBoundary.IdentityAugmentation
12import FoxDifferential.Discrete.KernelBoundary.Basic
13import FoxDifferential.Discrete.KernelBoundary.Homology
14import FoxDifferential.Discrete.KernelBoundary.Quotient
15import FoxDifferential.Discrete.KernelBoundary.MagnusKernel
17/-
18PUBLIC_PAGE_SNAPSHOT
19generated_at: 2026-05-27T09:47:29+09:00
20lean_source: lean4/FoxDifferential/Discrete.lean
21translation_root: data/translation
22purpose: identifies the local data snapshot used to build pages/
23placement: after imports, never before imports
24-/
25/-!
26# Discrete group-ring Fox calculus
28Ordinary Fox derivatives over group rings are developed through augmentation, relative differential modules, coordinates, Jacobians, and chain rules.
29-/