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

Initializing...

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