FoxDifferential/Common.lean

1import FoxDifferential.Common.CrossedDifferential

2import FoxDifferential.Common.CrossedDifferentialModule

3import FoxDifferential.Common.FiniteFamilyLinearMap

4import FoxDifferential.Common.FoxBoundary

5import FoxDifferential.Common.FreeCrossedDifferential

6import FoxDifferential.Common.Jacobian

8/-

9PUBLIC_PAGE_SNAPSHOT

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

11lean_source: lean4/FoxDifferential/Common.lean

12translation_root: data/translation

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

14placement: after imports, never before imports

16/-!

17# Common Fox differential API

19Crossed differentials, finite-family linear maps, the universal differential module, free crossed

20differentials, the Fox boundary, the Fox--Euler formula, and Jacobians.