P
Initializing...
Theorem 5.5 -- the lazy walk on the torus mixes in order $n^2$ · Prove2Me