FoxDifferential/Discrete/FoxCalculus.lean

1import FoxDifferential.Discrete.FoxCalculus.Boundary

2import FoxDifferential.Discrete.FoxCalculus.Coordinates

3import FoxDifferential.Discrete.FoxCalculus.Derivative

4import FoxDifferential.Discrete.FoxCalculus.Semidirect

5import FoxDifferential.Discrete.FoxCalculus.Universal

7/-

8PUBLIC_PAGE_SNAPSHOT

9generated_at: 2026-05-27T09:47:29+09:00

10lean_source: lean4/FoxDifferential/Discrete/FoxCalculus.lean

11translation_root: data/translation

12purpose: identifies the local data snapshot used to build pages/

13placement: after imports, never before imports

14-/

15/-!

16# Discrete group-ring Fox calculus

18Ordinary Fox derivatives over group rings are developed through augmentation, relative differential modules, coordinates, Jacobians, and chain rules.

19-/