OAI/Probability/Perceptron/Cavity/CavityCountableIsotropic.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.cavityCompletedCountableVector line 15
2. lemma OAI.SphericalPerceptronFreeEnergy.cavityCompletedCountableVector_measurable line 21
3. lemma OAI.SphericalPerceptronFreeEnergy.cavityCompletedCountableVector_law line 30
4. lemma OAI.SphericalPerceptronFreeEnergy.cavityCompletedCountableVector_isotropic line 59
5. lemma OAI.SphericalPerceptronFreeEnergy.cavityCompletedCountableVector_spherical_average line 78
6. lemma OAI.SphericalPerceptronFreeEnergy.cavityCompletedCountableVector_spherical_memLp line 92
7. lemma OAI.SphericalPerceptronFreeEnergy.cavityCompletedCountableVector_spherical_second line 112
8. lemma OAI.SphericalPerceptronFreeEnergy.cavityLabelVector_second_moment line 129