P
Initializing...
Proposition 8.13 -- the riffle shuffle mixes in $2\log_2 n+O(1)$ · Prove2Me