OAI/Probability/SphericalField/Heat/Semigroup.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SphericalPerceptron.scaledStdGaussian line 17
2. instance OAI.SphericalPerceptron.(instance at line 19) line 19
3. lemma OAI.SphericalPerceptron.scaledStdGaussian_conv line 22
4. lemma OAI.SphericalPerceptron.stdGaussian_integral_add line 37
5. lemma OAI.SphericalPerceptron.gaussianEntropic_semigroup line 58
6. lemma OAI.SphericalPerceptron.gaussianEntropic_variance_zero line 83