 Antiderivative

An antiderivative of $g$ is a differentiable function $p$ satisfying $p^{\prime }=g$.