P

Initializing...

The four standard charts are open embeddings into $\mathbb P^1\times\mathbb P^1$ with the atlas topology · Prove2Me