FoxDifferential/Completed/Continuous/ChainRule.lean

1import FoxDifferential.Completed.Continuous.ChainRule.Basic

2import FoxDifferential.Completed.Continuous.ChainRule.Iterated

4/-

5PUBLIC_PAGE_SNAPSHOT

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

7lean_source: lean4/FoxDifferential/Completed/Continuous/ChainRule.lean

8translation_root: data/translation

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

10placement: after imports, never before imports

11-/

12/-!

13# Continuous crossed differentials

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

16-/