P
Initializing...
Convergence to zero in C^∞ on a cylindrical end passes to the derivative · Prove2Me