Let be an interval in the sense of Interval in the Real Line. A function is an antiderivative of a function on if is differentiable at every interior point of in the sense of Derivative at an Interior Point and satisfies for every interior point .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.