P

Initializing...

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