P
Initializing...
All orientation-preserving symmetries of an irreducible real locus of degree $\ge2$ fix a common point · Prove2Me