P
Initializing...
Fixed-phase $C^0$ convergence and $C^\infty$ convergence up to phase give $C^\infty$ convergence · Prove2Me