P
Initializing...
C^∞_loc convergence is preserved under composition · Prove2Me