OAI/Probability/SphericalField/Fields/DepthUniform.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptron.gridVariance_ofFn_le_sum line 14
2. lemma OAI.SphericalPerceptron.sphericalGridValue_tendsto line 23
3. lemma OAI.SphericalPerceptron.finiteSphericalFieldValue_tendsto_dual line 29
4. theorem OAI.SphericalPerceptron.finiteSphericalFieldValue_all_depths_uniform line 36