P
Initializing...
$\pi\,\partial_s u$ has no zeros near a nondegenerate puncture · Prove2Me