OAI.SquareDifference.source_ordered_contraction: intermediate lemma from OpenAI, A power saving for square-difference-free sets

Initializing...

OAI.SquareDifference.source_ordered_contraction: intermediate lemma from OpenAI, A power saving for square-difference-free sets · Prove2Me