Iterated Deriv sub
W1.iteratedDeriv_sub
Plain-language statement
For two -times continuously differentiable functions and , the th iterated derivative distributes over subtraction:
Source project: Prime Number Theorem and More
Person-level attribution pending.