Antiderivative (source code)

= Antiderivative
{wiki}

= Indefinite integral
{synonym}

An antiderivative of $g$ is a <differentiable function> $p$ satisfying $p'=g$.