P
Initializing...
Theorem 12.3 -- mixing is at most relaxation times a log factor · Prove2Me