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

Initializing...

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