P
Initializing...
Punctured spheres with $\mathrm{wind}_\infty\le1$ at the positive puncture have a negative end of index below three · Prove2Me