P

Initializing...

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