OAI.PlanarUnitDistances.AlgebraicObstruction.no_rectangles: intermediate lemma from OpenAI, A power saving for planar unit distances

Initializing...

OAI.PlanarUnitDistances.AlgebraicObstruction.no_rectangles: intermediate lemma from OpenAI, A power saving for planar unit distances · Prove2Me