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

Initializing...

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