P
Initializing...
Loop convergence up to phase gives $C^\infty$ convergence of the end up to phase · Prove2Me