Theorem 1 (converse of the equality case): $|\mathrm{Sym}^+(C_{m,\alpha})|=2m$ for $m\ge3$ and every nonreal $\alpha$

Initializing...

Theorem 1 (converse of the equality case): $|\mathrm{Sym}^+(C_{m,\alpha})|=2m$ for $m\ge3$ and every nonreal $\alpha$ · Prove2Me