P
Initializing...
Proposition 16.2 -- the $L$-reversal chain is far from mixed at $(1-\varepsilon)\frac n2\log n$ · Prove2Me