P
Initializing...
A diagonal subsequence of approximations of approximations converges in $C^\infty_{\mathrm{loc}}$ · Prove2Me