OAI.Laughlin.Certificate.source_error_18_13_15: intermediate lemma from OpenAI, Uniform stability of the spherical Laughlin gap (result family 269)

Initializing...

OAI.Laughlin.Certificate.source_error_18_13_15: intermediate lemma from OpenAI, Uniform stability of the spherical Laughlin gap (result family 269) · Prove2Me