OAI.FiniteFactor.sourceSamplingTrimmed_marginals_event: intermediate lemma from OpenAI, Invariant-projection counterexamples for every irrational rotation

Initializing...

OAI.FiniteFactor.sourceSamplingTrimmed_marginals_event: intermediate lemma from OpenAI, Invariant-projection counterexamples for every irrational rotation · Prove2Me