P
Initializing...
A uniform quadratic remainder for the normalized vector field · Prove2Me