OAI/Probability/SKValue/Evolution/HeatKernelBound.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.BoundedSmooth.iteratedDeriv line 13
2. lemma OAI.SKValue.BoundedSmooth.heat_deriv line 19
3. lemma OAI.SKValue.standardGaussian_abs_integral_le_one line 24
4. lemma OAI.SKValue.BoundedSmooth.heat_kernel_deriv_bound line 30