P

Initializing...

The atlas topology is the unique topology on $\mathbb P^1\times\mathbb P^1$ making the four charts open embeddings · Prove2Me