P
Initializing...
Theorem 12.4 -- mixing is at least the relaxation time · Prove2Me