OAI/Probability/Perceptron/Variational/GaussianBlock.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptronFreeEnergy.gaussianBlockSplit line 11
2. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBlockSplit_measurable line 14
3. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBlockSplit_preserving line 18
4. lemma OAI.SphericalPerceptronFreeEnergy.gaussianBlockSplit_norm_sq line 39
5. lemma OAI.SphericalPerceptronFreeEnergy.stdGaussian_direction_law line 44