P
Initializing...
For nonreal $\alpha$, the curve $V_\alpha\subset\mathbb P^1\times\mathbb P^1$ is irreducible in the atlas topology · Prove2Me