OAI.ThorpNine.Harmonic.Thorp.Specht.spectral_regimes_q3: intermediate lemma from OpenAI, Optimal-order mixing of the Thorp shuffle

Initializing...

OAI.ThorpNine.Harmonic.Thorp.Specht.spectral_regimes_q3: intermediate lemma from OpenAI, Optimal-order mixing of the Thorp shuffle · Prove2Me