All.lean
Nyll.ProCGroups.FoxDifferential.RightDerivative.All
0 declarations indexed from sourceView source ↗
Module documentation
Fox Differential / Right Derivative
This compatibility-free root collects the geometric-series and semidirect-product constructions used by right Fox calculus. Right differentials themselves use the general CrossedHom API.
Imports2
Imported by1
This module has no indexed declarations. Its imports and full source are available here.