OAI/Probability/SKValue/Evolution/HeatContinuity.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.gaussian_shift_continuous line 12
2. lemma OAI.SKValue.heat_continuous line 42
3. lemma OAI.SKValue.heat_zero line 47
4. lemma OAI.SKValue.coleHopf_zero_coeff line 50
5. lemma OAI.SKValue.coleHopf_zero line 54
6. lemma OAI.SKValue.coleHopf_continuous line 59
7. lemma OAI.SKValue.heat_bound line 67
8. structure OAI.SKValue.SmoothTerminal line 78
9. lemma OAI.SKValue.SmoothTerminal.growth line 83
10. lemma OAI.SKValue.SmoothTerminal.heat_smooth line 92
11. lemma OAI.SKValue.SmoothTerminal.heat_deriv line 95
12. lemma OAI.SKValue.SmoothTerminal.heat_deriv_jets line 99
13. lemma OAI.SKValue.SmoothTerminal.coleHopf_smooth line 103
14. lemma OAI.SKValue.SmoothTerminal.coleHopf_deriv_bound line 110
15. lemma OAI.SKValue.SmoothTerminal.evolve line 121
16. lemma OAI.SKValue.SmoothTerminal.coleHopf_uniform_jets line 139