Calculus in positive characteristic p

We revisit hyperderivatives to build on the integral theory of calculus in positive characteristic p. In particular, we give necessary and sufficient conditions for the exactness of a hyperdifferential form associated with hyperderivatives and then propose a closed formula for finding the hyperantiderivative of an exact form.