FoxDifferential/Completed/Residue/FreeGroup.lean

1import FoxDifferential.Completed.Residue.FreeGroup.Basic

2import FoxDifferential.Completed.Residue.FreeGroup.Boundary

3import FoxDifferential.Completed.Residue.FreeGroup.Coordinates

4import FoxDifferential.Completed.Residue.FreeGroup.Fundamental

5import FoxDifferential.Completed.Residue.FreeGroup.Universal

7/-

8PUBLIC_PAGE_SNAPSHOT

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

10lean_source: lean4/FoxDifferential/Completed/Residue/FreeGroup.lean

11translation_root: data/translation

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

13placement: after imports, never before imports

14-/

15/-!

16# Residue coefficient stages

18Crossed differentials, universal differential modules, Fox boundaries, Euler formulas, and Jacobians are the common algebraic layer used by Crowell and metabelian applications.

19-/