A weight below zero separating eigenvalues of winding at most one from winding at least two

Initializing...

A weight below zero separating eigenvalues of winding at most one from winding at least two · Prove2Me