Theorem 1 (sharpness of the rotation bound): $|\mathrm{Sym}^+(C)|=\max\{d,2d-4\}$ occurs in every degree $d\ge2$

Initializing...

Theorem 1 (sharpness of the rotation bound): $|\mathrm{Sym}^+(C)|=\max\{d,2d-4\}$ occurs in every degree $d\ge2$ · Prove2Me