P

Initializing...

Theorem 1 (sharpness of the full bound): $|\mathrm{Sym}(C)|=2d$ occurs in every degree $d\ge2$ · Prove2Me