P
Initializing...
Theorem 1 (equality case): if $d\ge5$ and $|\mathrm{Sym}^+(C)|=2d-4$, a similarity maps $C$ onto some $C_{d-2,\alpha}$ · Prove2Me