Star operations on derivatives #
For detailed documentation of the Fréchet derivative,
see the module docstring of
This file contains the usual formulas (and existence assertions) for the derivative of the star
operation. Note that these only apply when the field that the derivative is respect to has a trivial
star operation; which as should be expected rules out
𝕜 = ℂ.