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

Initializing...

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