OAI/Probability/Perceptron/Sphere/GaussianCoordinateProjection.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SphericalPerceptronFreeEnergy.finiteGaussian_coordinate_projection line 12
2. lemma OAI.SphericalPerceptronFreeEnergy.finiteGaussian_curry_preserving line 21
3. def OAI.SphericalPerceptronFreeEnergy.cavityBulkNoiseSplit line 31
4. lemma OAI.SphericalPerceptronFreeEnergy.cavityBulkNoiseSplit_preserving line 37
5. lemma OAI.SphericalPerceptronFreeEnergy.cavityBulkNoiseSplit_scalar line 62
6. lemma OAI.SphericalPerceptronFreeEnergy.cavityBulkNoiseSplit_vector line 74