A loop whose imaginary part has derivative a positive multiple of its real part, and which is somewhere real, winds at least once

Initializing...

A loop whose imaginary part has derivative a positive multiple of its real part, and which is somewhere real, winds at least once · Prove2Me