Showing changes from revision #2 to #3: Added | Removed | Changed

Contents

Definition

Given a ancalculus field?algebraic limit field $F$, a subtype $S \subseteq F$, and a function $f:S \to F$, the type of antiderivatives of $f$ is the fiber of the Newton-Leibniz operator at $f$:

An antiderivative is a term of the above type.

See also

• differentiable function

• derivative