OAI.Rokhlin.MeasurablePolarRectangle.torus_coordinates: intermediate lemma from OpenAI, Rokhlin's multiple-mixing problem for one transformation

Initializing...

OAI.Rokhlin.MeasurablePolarRectangle.torus_coordinates: intermediate lemma from OpenAI, Rokhlin's multiple-mixing problem for one transformation · Prove2Me