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

Initializing...

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