P
Initializing...
Proposition 8.14 -- the riffle shuffle needs $\log_2 n$ shuffles · Prove2Me