P
Initializing...
The blow-up of the plane at the origin is smooth · Prove2Me