The transverse derivative of a half-cylinder with an eigenvector leading term vanishes nowhere

Initializing...

The transverse derivative of a half-cylinder with an eigenvector leading term vanishes nowhere · Prove2Me