Primitive function/Inverse function/Fact
Primitive function the inverse function
Let denote a bijective differentiable function, and let denote a primitive function for .
Let denote a bijective differentiable function, and let denote a primitive function for .