P
Initializing...
Corollary 8.10 -- random transpositions mix in $(2+o(1))\,n\log n$ · Prove2Me