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