P

Initializing...

Finiteness of $\mathrm{Sym}^+(C)$ and the rotation bound $|\mathrm{Sym}^+(C)|\le\max\{d,2d-4\}$ for irreducible curves · Prove2Me