P

Initializing...

Vanishing on a compact slice controls values and tangential derivatives · Prove2Me