P
Initializing...
The symplectization coordinates are smooth away from the origin · Prove2Me