Showing changes from revision #3 to #4:
Added | Removed | Changed
Given a $\mathbb{Z}$-module and a sequence , the type of sequential antiderivatives of is the fiber of the sequential derivative at :
A sequential antiderivative is a term of the above type.
If is a $\mathbb{Q}$-vector space, then every sequence in has an antiderivative operator for every term ,
defined as
for .
Last revised on June 17, 2022 at 18:49:45. See the history of this page for a list of all contributions to it.