P
Initializing...
The chart $(u,Y)\mapsto([1:u],[Y:1])$ of $\mathbb P^1\times\mathbb P^1$ is injective · Prove2Me