P
Initializing...
Negative punctures at orbits of index at least three have $\mathrm{wind}_\infty\ge2$ · Prove2Me