OAI.SphericalPerceptron.finiteSphericalFieldValue_tendsto_dual: intermediate lemma from OpenAI, Perceptron free energies and microscopic jamming exponents (result family 222)

Initializing...

OAI.SphericalPerceptron.finiteSphericalFieldValue_tendsto_dual: intermediate lemma from OpenAI, Perceptron free energies and microscopic jamming exponents (result family 222) · Prove2Me