OAI/Probability/SKBarriers/Gaussian/C1Taylor.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.lipschitz_derivative_taylor line 12
2. theorem OAI.SK.Analytic.gaussian_abs_pow_integrable line 35
3. theorem OAI.SK.Analytic.gaussian_second_moment line 40
4. def OAI.SK.Analytic.gaussianThirdAbsMoment line 45
5. theorem OAI.SK.Analytic.gaussianThirdAbsMoment_nonneg line 47