Indeed, the connection to Stokes here is via the fact that both operators (abstracted derivative and antiderivative) are linear operators.