P
Initializing...
Uniform spectral gaps of the asymptotic loop operator · Prove2Me