OAI/Probability/GaussianPropeller/HeatConvolution.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.GaussianPropeller.HeatConvolution.heat line 22
2. lemma OAI.GaussianPropeller.HeatConvolution.integrable_shift line 28
3. lemma OAI.GaussianPropeller.HeatConvolution.continuous_heat line 35
4. lemma OAI.GaussianPropeller.HeatConvolution.fderiv_heat line 48
5. lemma OAI.GaussianPropeller.HeatConvolution.time_deriv_heat line 64
6. lemma OAI.GaussianPropeller.HeatConvolution.stein_trace line 101
7. lemma OAI.GaussianPropeller.HeatConvolution.heat_gradient line 159
8. lemma OAI.GaussianPropeller.HeatConvolution.heat_equation line 170