Formal Derivative

Given a Formal Power Series

define the derivative

Remark

Think of it as building a structure on elements and then choosing one of those elements to be special (in ways).

Lemma

Lemma

For Formal Exponential and Formal Logarithm: