OAI/Probability/SKSupport/Diffusion/DiffusionStability.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ZeroTemperatureSK.BoundedLipschitzDrift.solution_stability_on line 15
2. lemma OAI.ZeroTemperatureSK.BoundedLipschitzDrift.residual_integral_bound line 67
3. lemma OAI.ZeroTemperatureSK.BoundedLipschitzDrift.solution_stability_integral line 93
4. def OAI.ZeroTemperatureSK.positiveDrift line 117
5. def OAI.ZeroTemperatureSK.positivePath line 122
6. def OAI.ZeroTemperatureSK.positiveCoeffError line 125
7. lemma OAI.ZeroTemperatureSK.positiveCoeffError_nonneg line 128
8. lemma OAI.ZeroTemperatureSK.positiveCoeffError_limit line 131
9. lemma OAI.ZeroTemperatureSK.mul_sub_mul_error line 133
10. lemma OAI.ZeroTemperatureSK.positiveDrift_error line 143
11. lemma OAI.ZeroTemperatureSK.positivePath_error line 163