P

Initializing...

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