Loops whose imaginary part has derivative a positive multiple of the real part have nonnegative winding

Initializing...

Loops whose imaginary part has derivative a positive multiple of the real part have nonnegative winding · Prove2Me