P

Initializing...

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