Lemma 2.1: an endpoint of the winding interval is an integer iff $\varphi(1)$ has eigenvalue $1$

Initializing...

Lemma 2.1: an endpoint of the winding interval is an integer iff $\varphi(1)$ has eigenvalue $1$ · Prove2Me