Formal exponential

Let be a field with . The formal exponential refers to purely formal usage of the exponential function as a power series, i.e. is defined by #m/def/fcalc

#state/develop | #lang/en | #SemBr