OAI.Rokhlin.ArrayObjects.Object.Rolled.grouped_column_contraction_projection: intermediate lemma from OpenAI, Rokhlin's multiple-mixing problem for one transformation

Initializing...

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