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

Initializing...

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