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

Initializing...

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