OAI/Probability/SKValue/Evolution/LogHeatJets.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKValue.heat_jet_continuous line 13
2. lemma OAI.SKValue.heat_jet_time line 19
3. lemma OAI.SKValue.heat_normalizedJet_continuous line 37
4. lemma OAI.SKValue.heat_normalizedJet_time line 44
5. lemma OAI.SKValue.nonneg_time_lipschitz line 56
6. lemma OAI.SKValue.coleHopf_gradient_jet_expr line 73
7. lemma OAI.SKValue.SmoothTerminal.coleHopf_joint_jets line 89
8. lemma OAI.SKValue.SmoothTerminal.coleHopf_time_jets line 102
9. lemma OAI.SKValue.SmoothTerminal.coleHopf_jets_time_lipschitz line 145