P
Initializing...
Theorem 13.1 -- spectral gap from contracting couplings · Prove2Me