OAI.Thorp.random_coordinate_frames_main_q3: intermediate lemma from OpenAI, Optimal-order mixing of the Thorp shuffle

Initializing...

OAI.Thorp.random_coordinate_frames_main_q3: intermediate lemma from OpenAI, Optimal-order mixing of the Thorp shuffle · Prove2Me