Formal calculus MOC
Let π be a field with [[Characteristic|charβ‘π =0]].
The formal exponential refers to purely formal usage of the exponential function as a power series, i.e. expβ‘π§ βπ[[π§]] β€π{π§} is defined by fcalc
expβ‘π§=βπββ0π§ππ!
develop | en | SemBr