P

Initializing...

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