P
Initializing...
The chart $z\mapsto[1:z]$ of $\mathbb P^1$ misses exactly the point $[0:1]$ · Prove2Me