Source: ProCGroups.FoxDifferential.RightDerivative
1import ProCGroups.FoxDifferential.RightDerivative.GeometricSeries
2import ProCGroups.FoxDifferential.RightDerivative.Semidirect
4/-!
5# Fox Differential / Right Derivative
7This compatibility-free root collects the geometric-series and semidirect-product constructions
8used by right Fox calculus. Right differentials themselves use the general `CrossedHom` API.
9-/