P

Initializing...

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