P
Initializing...
The transverse derivative has no zeros near a nondegenerate puncture · Prove2Me