Contents

Definition

Given a calculus 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