OAI/Probability/SKSupport/Moments/NormalThirdMoment.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ZeroTemperatureSK.WeakIto.normalThirdMoment line 14
2. lemma OAI.ZeroTemperatureSK.WeakIto.gaussian_abs_pow_integrable line 16
3. lemma OAI.ZeroTemperatureSK.WeakIto.normalThirdMoment_nonneg line 21
4. lemma OAI.ZeroTemperatureSK.WeakIto.gaussian_abs_pow line 24
5. lemma OAI.ZeroTemperatureSK.WeakIto.increment_abs_cube line 39