P

Initializing...

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