P
Initializing...
Proposition 7.14 -- lower bound for the top-to-random shuffle · Prove2Me