OAI.SharpNodal.Profiles.profile_small_affine_grid_gap: intermediate lemma from OpenAI, Sharp nodal length on smooth surfaces

Initializing...

OAI.SharpNodal.Profiles.profile_small_affine_grid_gap: intermediate lemma from OpenAI, Sharp nodal length on smooth surfaces · Prove2Me