ProCGroups.FoxDifferential.RightDerivative
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.
imports
Imported by
GeometricSeries
The principal declarations in this module are: - `geomSeries` The geometric series element is the finite sum of successive powers. - `geomSeries_eq_sum_pow` The geometric series...
Semidirect
The principal declarations in this module are: - `RightFoxSemidirect` The right Fox semidirect product records a group element together with its right-derivative coordinate. - `...