Given a Formal Power Series
define the derivative
Remark
Think of it as building a structure on
and then choosing one of those elements to be special (in
Lemma
Lemma
For Formal Exponential and Formal Logarithm:
Given a Formal Power Series
define the derivative
Think of it as building a structure on
and then choosing one of those elements to be special (in
For Formal Exponential and Formal Logarithm: