OAI/Probability/SKGap/Gaussian/ScalarGaussianReductionAlgebra.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKGap.GaussianDensity.radialDensity_translate line 14
2. lemma OAI.SKGap.GaussianDensity.gaussian_density_shift line 25
3. lemma OAI.SKGap.GaussianDensity.scalar_gaussian_exponent line 36
4. theorem OAI.SKGap.GaussianDensity.rankOneDensity_cancellation line 56
5. lemma OAI.SKGap.GaussianDensity.pi_gaussian_convolution line 83
6. theorem OAI.SKGap.GaussianDensity.continuous_convolution_density line 100
7. theorem OAI.SKGap.GaussianDensity.gaussian_radial_convolution line 144