OAI/Probability/SKValue/Evolution/HeatBounds.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.smooth_iteratedDeriv line 12
2. lemma OAI.SKValue.derivative_tower_bounded line 18
3. def OAI.SKValue.normalizedJet line 62
4. lemma OAI.SKValue.normalizedJet_smooth line 65
5. lemma OAI.SKValue.normalizedJet_deriv line 70
6. lemma OAI.SKValue.normalizedJet_uniform_bounded line 84
7. lemma OAI.SKValue.normalizedJet_boundedSmooth line 91
8. lemma OAI.SKValue.heat_relative_bound line 100
9. lemma OAI.SKValue.exp_heat_normalizedJet_bound line 110
10. lemma OAI.SKValue.coleHopf_deriv_eq_normalizedJet line 133
11. lemma OAI.SKValue.coleHopf_deriv_boundedSmooth_of_pos line 150
12. lemma OAI.SKValue.coleHopf_deriv_uniform_bounds_of_pos line 160