Kac's walk on rotation matrices mixes in $n^2 \log n$ steps — Natesh S. Pillai, Aaron Smith | Kutubxona