P

Initializing...

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