FoxDifferential/Completed/ProCIntegerCoefficients/FreeGroup.lean

1import FoxDifferential.Completed.ProCIntegerCoefficients.FreeGroup.Fundamental

3/-

4PUBLIC_PAGE_SNAPSHOT

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

6lean_source: lean4/FoxDifferential/Completed/ProCIntegerCoefficients/FreeGroup.lean

7translation_root: data/translation

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

9placement: after imports, never before imports

10-/

11/-!

12# Completed group algebra coefficients

14This module gives the free-group formulas for pro-\(C\) integer coefficients, used to compare completed Fox derivatives with ordinary finite-stage derivatives.

15-/