P
Initializing...
Lemma 3 in complex coordinates: isometries preserving $\{P(z,\bar z)=0\}$ multiply $P(z,\bar z)$ by $\pm1$ · Prove2Me